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