
Registered user since Tue 9 Jun 2015
Name: Michael Emmi
Affiliation: IMDEA Software Institute
Personal website: http://michael-emmi.github.io
Contributions
FMS | Verifying Constant-Time Implementations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2016-profile
View general profile
View general profile