Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Marco Patrignani

Marco Patrignani (Postdoc)
 
 Campus E9 1 | 66123 Saarbrücken | 2.18

Publications:

Title Date Date Meta
Parametricity Versus the Universal Type 2017  2017   Dominique Devriese, Marco Patrignani, Frank Piessens  POPL
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract) 2017  2017   Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Marco Stronati, David Swasey  1st Workshop on Principles of Secure Compilation