DEGANO, PIERPAOLO

DEGANO, PIERPAOLO  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A semantics for disciplined concurrency in COP 1-gen-2016 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Control-flow flattening preserves the constant-time policy 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Firewall management with FireWall synthesizer 1-gen-2018 Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoTempesta, MauroVeronese, Lorenzo + 4.1 Articolo in Atti di convegno -
FWS: Analyzing, maintaining and transcompiling firewalls 1-gen-2021 Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoLuccio, FlaminiaTempesta, MauroVeronese, Lorenzo + 2.1 Articolo su rivista -
Language-Independent Synthesis of Firewall Policies 1-gen-2018 Chiara BodeiPierpaolo DeganoRiccardo FocardiMauro TempestaVERONESE, LORENZO + 4.1 Articolo in Atti di convegno -
Mechanical incrementalization of typing algorithms 1-gen-2021 Busi M.Degano P. + 2.1 Articolo su rivista -
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 1-gen-2020 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Robust Declassification by Incremental Typing 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Securing Interruptible Enclaved Execution on Small Microprocessors 1-gen-2021 Busi M.Degano P. + 2.1 Articolo su rivista -
Towards effective preservation of robust safety properties 1-gen-2022 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
Transcompiling Firewalls 1-gen-2018 Chiara BodeiPierpaolo DeganoRiccardo Focardi Mauro Tempesta + 4.1 Articolo in Atti di convegno -
Using standard typing algorithms incrementally 1-gen-2019 Busi M.Degano P. + 4.1 Articolo in Atti di convegno -
When Obfuscations Preserve Cryptographic Constant-Time 1-gen-2024 Matteo BusiPierpaolo Degano + 4.2 Abstract in Atti di convegno -