Nina Mortazavi (MsC in Informatics Engineering).
Verification of Cryptographic Protocols using First Order Logics. PDF
UAlgarve. Expected conclusion in October 2011.
Manuel Nunes Farinha Correia Rego (MsC in Communication Networks Engineering).
Security and Privacy in Identification and Micro-Payment Systems. PDF
IST. Expected conclusion in March 2012.
Maria Ana Casal Cunha (MsC in Information Systems and Computer Engineering).
Integration and Support for Automatic Generation of Test Cases using AnyTester Framework. PDF
IST. Expected conclusion in September 2012.
Adelino Miguel Melo Pereira Portela (MsC in Information Systems and Computer Engineering).
Geração Automática de Casos de Teste na Ferramenta AnyTester PDF
IST. Expected conclusion in September 2012.
Former Students
João Miguel Barros Silva Mendes (MsC in Information Systems and Computer Engineering).
Trusted Civitas: Client Trust in CIVITAS Electronic Voting Protocol.PDFExtended Abstract
IST. June 6, 2011.
Elton Pedro Sixpence (MsC in Networks Engineering and Information Systems).
Projecto de Implementação de Testes Automatizados para a Aplicacão Web ISUPAC3 no ISUTC.PDF (PT)
ISUTC. December 2, 2010.