Sfoglia per Autore
Ownership Types for the Join Calculus
2011-01-01 Patrignani, Marco; Clarke, Dave; Sangiorgi, Davide
Secure Compilation of Object-Oriented Components to Protected Module Architectures
2013-01-01 Patrignani, Marco; Clarke, Dave; Piessens, Frank
Operational semantics for secure interoperation
2014-01-01 Larmuseau, A.; Patrignani, M.; Clarke, D.
Fully abstract trace semantics for low-level isolation mechanisms
2014-01-01 Patrignani, Marco; Clarke, Dave
Secure Compilation to Protected Module Architectures
2015-01-01 Patrignani, Marco; Agten, Pieter; Strackx, Raoul; Jacobs, Bart; Clarke, Dave; Piessens, Frank
A High-Level Model for an Assembly Language Attacker by Means of Reflection
2015-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
Fully abstract trace semantics for protected module architectures
2015-01-01 Patrignani, Marco; Clarke, Dave
A Secure Compiler for ML Modules
2015-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
Implementing a secure abstract machine
2016-01-01 Larmuseau, Adriaan; Patrignani, Marco; Clarke, Dave
Fully-abstract compilation by approximate back-translation
2016-01-01 Devriese, Dominique; Patrignani, Marco; Piessens, Frank
On Modular and Fully-Abstract Compilation
2016-01-01 Patrignani, Marco; Devriese, Dominique; Piessens, Frank
Secure Compilation and Hyperproperty Preservation
2017-01-01 Patrignani, Marco; Garg, Deepak
Modular, Fully-abstract Compilation by Approximate Back-translation
2017-01-01 Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven
Parametricity versus the universal type
2018-01-01 Devriese, D.; Patrignani, M.; Piessens, F.
Robustly Safe Compilation
2019-01-01 Patrignani, Marco; Garg, Deepak
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
2019-01-01 Abate, Carmine; Blanco, Roberto; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Thibault, Jeremy
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work
2019-01-01 Patrignani, Marco; Ahmed, Amal; Clarke, Dave
Trace-Relating Compiler Correctness and Secure Compilation
2020-01-01 Abate, Carmine; Blanco, Roberto; Ciobaca, Stefan; Durier, Adrien; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Tanter, Eric; Thibault, Jeremy
Type-directed scheduling of streaming accelerators
2020-01-01 Durst, D.; Feldman, M.; Huff, D.; Akeley, D.; Daly, R.; Bernstein, G. L.; Patrignani, M.; Fatahalian, K.; Hanrahan, P.
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation
2021-01-01 Abate, Carmine; Blanco, Roberto; Ciobaca, Stefan; Durier, Adrien; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Tanter, Eric; Thibault, Jeremy
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile