DEGANO, PIERPAOLO Statistiche

DEGANO, PIERPAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 270 (tempo di esecuzione: 0.035 secondi).
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