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