Detail

Publication date: 1 de June, 2021

Logics 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.

Team

Luis Caires,

Sname SecureSpace
State Concluded
Startdate 01/01/2007
Enddate 31/12/2008