CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Projects  \  Project Page Login  
   
banner bottom
File Top
SecureSpace - 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.


Technical Note:

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.


{ Project Info }

Coordinated by: CITI

Project Type: CB ( Bilateral Collaboration )

Funding Entity: FCT / MCTES


Start Date: 2007-01-01 / Efective Start Date: 2007-01-01

End Date: 2008-12-31 / Efective End Date: 0000-00-00




{ CITI Participations }


{ Partnerships }
  • ENS Cachan (France)
File Bottom