SQIG at IT

ComFormCrypt: Computational Semantics of Formal Methods in Cryptography (FCT - PTDC)
QuantPrivTel: Quantum Private Telecommunications (FCT - PTDC)
QuantTel: Quantum Telecommunications (IT)
MONACO: MOdels for New Applications of COncurrency (German-Portuguese)

last update: February 13 2012 10:53:12.