DEGANO, PIERPAOLO
DEGANO, PIERPAOLO
A semantics for disciplined concurrency in COP
2016 Busi, M.; Degano, P.; Galletta, L.
Control-flow flattening preserves the constant-time policy
2020 Busi, M.; Degano, P.; Galletta, L.
Firewall management with FireWall synthesizer
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
FWS: Analyzing, maintaining and transcompiling firewalls
2021 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Language-Independent Synthesis of Firewall Policies
2018 Bodei, Chiara; Degano, Pierpaolo; Letterio, Galletta; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Mechanical incrementalization of typing algorithms
2021 Busi, M.; Degano, P.; Galletta, L.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020 Busi, M.; Noorman, J.; Bulck, J. V.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Robust Declassification by Incremental Typing
2019 Busi, M.; Degano, P.; Galletta, L.
Securing Interruptible Enclaved Execution on Small Microprocessors
2021 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muhlberg, J. T.; Piessens, F.
Towards effective preservation of robust safety properties
2022 Busi, M.; Degano, P.; Galletta, L.
Transcompiling Firewalls
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
Using standard typing algorithms incrementally
2019 Busi, M.; Degano, P.; Galletta, L.
When Obfuscations Preserve Cryptographic Constant-Time
2024 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio