DEGANO, PIERPAOLO Statistiche
DEGANO, PIERPAOLO
DIPARTIMENTO DI INFORMATICA
Controller synthesis of service contracts with variability
In corso di stampa Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
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
Modelling and analysing IoT systems
2021-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
2021-01-01 Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
Control-flow Flattening Preserves the Constant-Time Policy.
2020-01-01 Busi, M.; Degano, P.; Galletta, L.
Controller synthesis of service contracts with variability
2020-01-01 Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F.
MuAC: Access Control Language for Mutual Benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Natural Projection as Partial Model Checking
2020-01-01 Costa, G.; Galletta, L.; Degano, P.; Basin, D.; Bodei, C.
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
2020-01-01 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Securing Interruptible Enclaves
2020-01-01 Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F.
Security Metrics at Work on the Things in IoT Systems
2020-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Are All Firewall Systems Equally Powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Automata-Based Behavioural Contracts with Action Correlation
2019-01-01 Basile, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. -L.
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, Lorenzo; Degano, P.; Galletta, L.
Programming in a context-aware language
2019-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Revealing the trajectories of KLAIM tuples, statically
2019-01-01 Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L.
Robust Declassification by Incremental Typing
2019-01-01 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
Translation Validation for Security Properties
2019-01-01 Busi, M; Degano, P.; Galletta, L.
Using Standard Typing Algorithms Incrementally
2019-01-01 Busi, M; Degano, P.; Galletta, L.
. . . e se fossimo davvero figli dei fisici?
2018-01-01 Degano, Pierpaolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Controller synthesis of service contracts with variability | In corso di stampa | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo | |
| Modelling and analysing IoT systems | 1-gen-2021 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Supervisory Synthesis of Configurable Behavioural Contracts with Modalities | 1-gen-2021 | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| Control-flow Flattening Preserves the Constant-Time Policy. | 1-gen-2020 | Busi, M.; Degano, P.; Galletta, L. | |
| Controller synthesis of service contracts with variability | 1-gen-2020 | Basile, D.; ter Beek, M. H.; Degano, P.; Legay, A.; Ferrari, G. -L.; Gnesi, S.; Di Giandomenico, F. | |
| MuAC: Access Control Language for Mutual Benefits | 1-gen-2020 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Natural Projection as Partial Model Checking | 1-gen-2020 | Costa, G.; Galletta, L.; Degano, P.; Basin, D.; Bodei, C. | |
| Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors | 1-gen-2020 | Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F. | |
| Securing Interruptible Enclaves | 1-gen-2020 | Busi, M.; Noorman, J.; Van Bulck, J.; Galletta, L.; Degano, P.; Muehlberg, J. T.; Piessens, F. | |
| Security Metrics at Work on the Things in IoT Systems | 1-gen-2020 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio | |
| Are All Firewall Systems Equally Powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
| Automata-Based Behavioural Contracts with Action Correlation | 1-gen-2019 | Basile, D.; Pugliese, R.; Tiezzi, F.; Degano, P.; Ferrari, G. -L. | |
| Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, Lorenzo; Degano, P.; Galletta, L. | |
| Programming in a context-aware language | 1-gen-2019 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
| Revealing the trajectories of KLAIM tuples, statically | 1-gen-2019 | Bodei, C.; Degano, P.; Ferrari, G. -L.; Galletta, L. | |
| Robust Declassification by Incremental Typing | 1-gen-2019 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
| Translation Validation for Security Properties | 1-gen-2019 | Busi, M; Degano, P.; Galletta, L. | |
| Using Standard Typing Algorithms Incrementally | 1-gen-2019 | Busi, M; Degano, P.; Galletta, L. | |
| . . . e se fossimo davvero figli dei fisici? | 1-gen-2018 | Degano, Pierpaolo |