
Registered user since Thu 22 Oct 2015
Name:Marco Patrignani
Affiliation:MPI-SWS, Germany
Personal website:http://www.mpi-sws.org/~marcopat/marcopat/Home.html
Contributions
SCM 2017 | Committee Member in Organizing Committee within the SCM-track What is Secure Compilation? Part I | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile