Adriaan Larmuseau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2016
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SAC | Implementing a secure abstract machine. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | APLAS | A Secure Compiler for ML Modules. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2015 | SEFM | Formalizing a Secure Foreign Function Interface. | Adriaan Larmuseau, Dave Clarke |
| 2015 | SETTA | A High-Level Model for an Assembly Language Attacker by Means of Reflection. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |
| 2014 | ECOOP | Operational Semantics for Secure Interoperation. | Adriaan Larmuseau, Marco Patrignani, Dave Clarke |