Patrignani, Marco

Patrignani, Marco  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.111 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A High-Level Model for an Assembly Language Attacker by Means of Reflection 1-gen-2015 Patrignani , Marco +
A Secure Compiler for ML Modules 1-gen-2015 Patrignani ,Marco +
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 1-gen-2021 Patrignani, Marco +
Automatic Detection of Speculative Execution Combinations 1-gen-2022 Marco Patrignani +
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 1-gen-2021 Patrignani, Marco +
Exorcising Spectres with Secure Compilers 1-gen-2021 Patrignani, Marco +
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 1-gen-2019 Patrignani , Marco +
Fully abstract trace semantics for low-level isolation mechanisms 1-gen-2014 Patrignani, Marco +
Fully abstract trace semantics for protected module architectures 1-gen-2015 Patrignani ,Marco +
Fully-abstract compilation by approximate back-translation 1-gen-2016 Patrignani ,Marco +
Implementing a secure abstract machine 1-gen-2016 Patrignani, Marco +
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 1-gen-2019 Patrignani, Marco +
Modular Information Flow Through Ownership 1-gen-2022 Patrignani, Marco +
Modular, Fully-abstract Compilation by Approximate Back-translation 1-gen-2017 Patrignani ,Marco +
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 1-gen-2023 Patrignani, M +
On Modular and Fully-Abstract Compilation 1-gen-2016 Patrignani , Marco +
On the semantic expressiveness of recursive types 1-gen-2021 Patrignani M. +
Operational semantics for secure interoperation 1-gen-2014 Patrignani M. +
Ownership Types for the Join Calculus 1-gen-2011 Patrignani ,Marco +
Parametricity versus the universal type 1-gen-2018 Patrignani M. +