- Fully abstract trace semantics for protected module architectures(2015)
Authors: Marco Patrignani, Dave Clarke
Pages: 22 - 45
- Secure compilation to protected module architectures(2015)
Authors: Marco Patrignani, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke, Frank Piessens
Pages: 6
- A High-Level Model for an Assembly Language Attacker by Means of Reflection(2015)
Authors: Marco Patrignani
Pages: 168 - 182
Number of pages: 15
- A Secure Compiler for ML Modules(2015)
Authors: Marco Patrignani
Pages: 29 - 48
Number of pages: 20
- Fully abstract trace semantics of low-level isolation mechanisms(2014)
Authors: Marco Patrignani, Dave Clarke, Cho Yookun, Y Shin Sung, Kim Sang-wook, Hung Chih-cheng, Hong Jiman
Pages: 1562 - 1569
- Secure compilation of Object-Oriented components to protected module architectures(2013)
Authors: Marco Patrignani, Dave Clarke, Frank Piessens, Chung-chieh Shan
Pages: 176 - 191
- Fully abstract trace semantics of low-level protection mechanisms(2012)
Authors: Marco Patrignani, Dave Clarke
Pages: 43 - 45
- Formal analysis of policies in wireless sensor network applications(2012)
Authors: Marco Patrignani, Nelson Matthys, Jose Paiva Proenca, Danny Hughes, Dave Clarke
Pages: 21 - 28
- Ownership types for the join calculus(2011)
Authors: Marco Patrignani, Dave Clarke
Pages: 289 - 303