Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 29
Titolo Anno di pubblicazione Autori Unitn File
Ownership Types for the Join Calculus 1-gen-2011 Patrignani ,Marco +
Secure Compilation of Object-Oriented Components to Protected Module Architectures 1-gen-2013 Patrignani ,Marco +
Operational semantics for secure interoperation 1-gen-2014 Patrignani M. +
Fully abstract trace semantics for low-level isolation mechanisms 1-gen-2014 Patrignani, Marco +
Secure Compilation to Protected Module Architectures 1-gen-2015 Patrignani , Marco +
A High-Level Model for an Assembly Language Attacker by Means of Reflection 1-gen-2015 Patrignani , Marco +
Fully abstract trace semantics for protected module architectures 1-gen-2015 Patrignani ,Marco +
A Secure Compiler for ML Modules 1-gen-2015 Patrignani ,Marco +
Implementing a secure abstract machine 1-gen-2016 Patrignani, Marco +
Fully-abstract compilation by approximate back-translation 1-gen-2016 Patrignani ,Marco +
On Modular and Fully-Abstract Compilation 1-gen-2016 Patrignani , Marco +
Secure Compilation and Hyperproperty Preservation 1-gen-2017 Patrignani, Marco +
Modular, Fully-abstract Compilation by Approximate Back-translation 1-gen-2017 Patrignani ,Marco +
Parametricity versus the universal type 1-gen-2018 Patrignani M. +
Robustly Safe Compilation 1-gen-2019 Patrignani, Marco +
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 1-gen-2019 Patrignani, Marco +
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 1-gen-2019 Patrignani , Marco +
Trace-Relating Compiler Correctness and Secure Compilation 1-gen-2020 Patrignani , Marco +
Type-directed scheduling of streaming accelerators 1-gen-2020 Patrignani M. +
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 1-gen-2021 Patrignani, Marco +
Mostrati risultati da 1 a 20 di 29
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