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