projects
Detail
Publication date: 1 de June, 2021Logics for Security Protocols
The goal of the project is to develop techniques and tools based on spatial / separation logics to analyse
concurrent processes and cryptographic protocols, analyse some case study such
as electronic vote protocols.
The goal of the project is to develop techniques and tools based on spatial / separation logics to analyse
concurrent processes and cryptographic protocols, analyse some case study such
as electronic vote protocols.
Sname | SecureSpace |
---|---|
State | Concluded |
Startdate | 01/01/2007 |
Enddate | 31/12/2008 |