PORTALE DELLA DIDATTICA

Ricerca CERCA
  KEYWORD

Enhancement of the JavaSPI Framework

keywords CRYPTOGRAPHY, CRYPTANALYSIS, JAVA, SECURITY AUTOMATION

Reference persons RICCARDO SISTO

Research Groups COMPUTER NETWORKS GROUP - NETGROUP, DAUIN - GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, GR-03 - COMPUTER NETWORKS GROUP - NETGROUP, NETGROUP

Thesis type THEORETICAL/EXPERIMENTAL

Description  JavaSPI is a framework developed at Politecnico di Torino for model-based security protocol development in Java. In order to analyse security protocol models, JavaSPI uses the well-known tool Proverif.
The purpose of the thesis is to align JavaSPI with the latest Proverif versions, so as to exploit all the functionality provided by these versions (in particular, the main purpose is to align JavaSPI with the typed version of the Proverif langauge). In order to achieve this goal, some redesign of JavaSPI is expected to be necessary. Another side-goal of the thesis is to organize JavaSPI as a modern open-source project hosted on an open-source platform.
The candidate should have very good knowledge and skills in Java programming. Knowledge of Proverif can facilitate the work but it is not strictly necessary (the candidate can learn it as part of the thesis work). Taking this thesis the candidate has the opportunity to get more skilled in Java programming, secure programming, and open-source software platforms.

JavaSPI: http://spi2java.polito.it/

Required skills Programmazione Java, Reti di Calcolatori, Cybersecurity


Deadline 07/04/2021      PROPONI LA TUA CANDIDATURA