publications and Talks (sorted by year).

 

Here is a link to my DBLP entries and to my Google scholar page.


2017

  1. Tsampas, El-Korashy, Patrignani, Devriese, Garg, Piessens. Towards Automatic Compartmentalization of C Programs on Capability Machines. In FCS’17 [ .pdf ]

  2. Patrignani, Garg: Secure Compilation and Hyperproperty Preservation. In CSF’17 [ .pdf | .bib | techrep | slides ]


2016

  1. Patrignani, Devriese, Piessens: On Modular and Fully-Abstract Compilation. In CSF’16 [ .pdf | .bib | techrep | arxiv | slides ]

  2. Larmuseau, Patrignani, Clarke: Implementing a Secure Abstract Machine. In SAC’16 [ .pdf ]

  3. Devriese, Patrignani, Piessens: Fully-Abstract Compilation by Approximate Back-Translation. In POPL’16 [ .pdf | .bib | techrep ]


2015

  1. Larmuseau, Patrignani, Clarke: A Secure Compiler for ML Modules. In APLAS’15 [ .pdf ]

  2. Larmuseau, Patrignani, Clarke: A High-Level Model for an Assembly Language Attacker by Means of Reflection. In SETTA’15 [ .pdf ]

  3. Patrignani, Devriese, Piessens. Multi-Module Fully Abstract Compilation (Extended Abstract). In FCS’15 [ .pdf | .bib | slides ]

  4. Patrignani. The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures. Ph.D. Thesis [ .pdf | link | bib | slides ]

  5. Patrignani, Clarke: Fully Abstract Trace Semantics for Protected Module Architectures. In Elsevier’s COMLAN. [ .pdf | link | .bib ]

  6. Patrignani, Agten, Strackx, Jacobs, Clarke, Piessens: Secure Compilation to Protected Module Architectures. In ACM TOPLAS. [ .pdf | link | bib ]


2014

  1. Larmuseau, Patrignani, Clarke: Operational Semantics for Secure Interoperation. In PLAS’14. [ .pdf | bib ]

  2. Patrignani, Clarke: Fully Abstract Trace Semantics for Low-level Isolation Mechanisms. In SAC’14. [ .pdf | bib | techrep| slides ]


2013

  1. Patrignani, Clarke, Piessens: Secure Compilation of Object-Oriented Components to Protected Module Architectures. In APLAS’13. [ .pdf | bib | techrep | slides ] Algorithm mentioned in the paper: SCOO-algo.zip


2012

  1. Patrignani, Clarke: Fully Abstract Trace Semantics of Low-Level Protection Mechanisms -- Abstract. In NWPT’12. [ .pdf | bib | slides ]

  2. Patrignani, Matthys, Proença, Hughes, Clarke: Formal Analysis of Policies in Wireless Sensor Network Applications. In SESENA’12. [.pdf | bib | slides ]


2011

  1. Patrignani, Clarke, Sangiorgi: Ownership Types for the Join Calculus. In FMOODS/FORTE’11. [ .pdf | bib | techrep | slides ]




OTHER TALKS:

  1. 5-minutes advertisement for PRiSC [ slides ]

  2. SCM’17 opening: What is Secure Compilation [ slides ]

  3. MPI retreat ’16 [ poster ]

  4. Secure compilation and hyperproperties (@INRIA, Paris 08/’16) [ slides ]

  5. Secure compilation (@NE, Boston 01/’16) [ slides ]

  6. Popl’16 paper and followup (@Leuven 12/’15) *sketchy* [ slides ]

  7. Secure compilation (@Saarbrucken 04/’15) [ slides ]

  8. Secure compilation and my research (@Uppsala 04/’14) [ slides ]

  9. Session types and capabilities (@ Imperial 01/’14) *sketchy* [ slides ]