Criptografia Teórica e Aplicada, Privacidade Incondicional, Criptografia Quântica, Tecnologias para Eleições
Fluxo Quantitativo de Informação, Privacidade, Fundamentos da Segurança de Computadores, Métodos Formais