Skip nav

R&D Projects

Confirmed projects database queries

Call for Funding of Research and Development Projects in all Scientific Domains - 2009

ComFormCrypt - Computational Semantics of Formal Methods in Cryptography

PTDC/EIA-CCO/113033/2009

Main Research Area
Computer Science and Engineering - Computer Science
Keywords
Cryptography
Formal Verification
Computational Complexity
Computer Security
Funding
€ 118,000.00
Institutions
Main Contractor
Instituto de Telecomunicações (IT)
Main Research Unit
Instituto de Telecomunicações Lisboa (IT Lisboa/IT)
Team
Principal Investigator
Pedro Miguel dos Santos Alves Madeira Adão
Researchers
Paulo Alexandre Carreira Mateus
Carlos Manuel Costa Lourenço Caleiro
Andreia Filipa Torcato Mordido
Gergely Bana
David João Barros Henriques