[email protected] stands for Verifica Automatica di Protocolli di Sicurezza per Internet.
[email protected] aims to develop a platform based on a variety of techniques that will allow industry and standardization experts to automatically validate or detect errors on a large collection of practically relevant, Internet protocols.
In this website you will find all relevant informations about the current research activities carried out in the [email protected] project.
|Artificial Intelligence Laboratory, DIST, University of Genova, Italy|
|Department of Informatics and Telecommunication (DIT), Faculty of Science of University of Trento, Italy|
|Dipartimento di Scienze Fisiche, University of Napoli "Federico II", Italy|
[email protected] is a three-years project funded by the Italian Ministry of
Education, University and Research (MIUR) under the FIRB (Fondo
per gli Investimenti della Ricerca di Base) Programme, as
|Please use the left frame to navigate the website and to contact us.|