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