Browsing by Author "Patrignani, Marco"

Now showing 1 - 3 of 3

Modular, fully-abstract compilation by approximate back-translation

Devriese, Dominique
;
Patrignani, Marco
;
Piessens, Frank
;
Keuchel, Steven
Journal article
2017, Logical Methods in Computer Science, (13) 4, p.lmcs:3230
Parametricity versus the universal type

Devriese, Dominique
;
Patrignani, Marco
;
Piessens, Frank
Proceedings paper
2018, Principles of Programming Languages (POPL 2018), 10/01/2018, p.Article No. 38
Towards automatic compartmentalization of C programs on capability machines

Tsampas, Stylianos
;
El-Korashy, Akram
;
Patrignani, Marco
;
Devriese, Dominique
;
Garg, Deepak
Proceedings paper
2017, Workshop on Foundations of Computer Security - FCS, 21/08/2017, p.1-14