Registered user since Fri 11 Sep 2015
Name:Matteo Maffei
Affiliation:Saarland University
Personal website:https://www.sps.cs.uni-saarland.de/maffei/
Research interests:Security and Privacy, Formal Methods
Contributions
| CPP 2018 | A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile