Enhancement of the JavaSPI Framework
Reference persons RICCARDO SISTO
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.
Required skills Programmazione Java, Reti di Calcolatori, Cybersecurity
Deadline 07/04/2021 PROPONI LA TUA CANDIDATURA