Sfoglia per Serie
A brief tour of formally secure compilation
2019 Busi, Matteo; Galletta, Letterio
Control-flow flattening preserves the constant-time policy
2020 Busi, M.; Degano, P.; Galletta, L.
Cybersecurity education showdown: a comparative analysis of K-12 education systems in the United States, the European Union and China
2025 Fernandez Nieto, Berenice; Romanini, Daisy; Zhu, Yuhui
Detecting zero-day attacks under concept drift: an online unsupervised threat detection system
2024 De Paola, A.; Drago, S.; Ferraro, P.; Lo Re, G.
Displayed universal algebra in UniMath: basic definitions and results
2025 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
Enhancing malware classification with symbolic features
2021 Siwach, C.; Costa, G.; de Nicola, R.
Growing HOLMS, a HOL Light Library for Modal Systems
2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L.
Is the Road to Hell Paved with Good Intentions? A Criminological and Criminal Law Analysis of Prospective Regulation for Ethical Hacking in Italy and the EU
2024 Fiorinelli, Gaia; Zucca, Maria Vittoria
Managing concept drift in online intrusion detection systems with active learning
2025 Camarda, F.; De Paola, A.; Drago, S.; Ferraro, P.; Lo Re, G.
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS
2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.
MUAC: Access control language for mutual benefits
2020 Ceragioli, L.; Degano, P.; Galletta, L.
A Netting Protocol for Liquidity-saving Automated Market Makers
2024 Renieri, M.; Galletta, L.; Lafuente, A. L.; Chiang, J. H. -Y.
On the usage of ChatGPT for integrating CAPEC attacks into ADVISE Meta ontology
2025 Kordi, Marzieh; Francesco, Mariotti; Roberto, Magrini; Paolo, Lollini; Andrea, Bondavalli
Pattern-preserving k-anonymization of sequences and its application to mobility data mining
2008 Pensa, R. G.; Monreale, A.; Pinelli, F.; Pedreschi, D.
Simpson's proof systems for process verification: a fine-tuning (short paper)
2024 Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar
Supporting criminal investigations on the blockchain: a temporal logic-based approach
2024 Blanchini, Marco; Cerreta, Michele; Di Monda, Davide; Fabbri, Matteo; Raciti, Mario; Ahmad Hamza, Sajjad; Costa, Gabriele
Toward dynamic epistemic verification of zero-knowledge protocols
2024 Costa, Gabriele; Perini Brogi, Cosimo
A working experimentation model for cyber resilience regulatory sandboxes
2025 Seferi, F.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile