Michael Emmi

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