Sfoglia per Serie
Bayesian reasoning for overcoming over-reliance in AI-assisted decision making
2025 Mikhaylova, D.; Turchi, T.; Cevolani, G.; Malizia, A.
Beyond checklists: automated legal compliance check in regulatory sandboxes
2026 Bernabei, Pietro; Bramante, Salvatore; Ciarravano, Ludovica; Pannullo, Fernando
A brief tour of formally secure compilation
2019 Busi, Matteo; Galletta, Letterio
Cognitive filter bubble: investigating bias and neutrality vulnerabilities of LLMs in sensitive contexts
2025 Di Gisi, Maria; Fenza, Giuseppe; Gallo, Mariacristina; Loia, Vincenzo; Stanzione, Claudio
A concept drift stream generator for intrusion detection systems
2025 Costa Gabriele, Nicolò; De Paola, Alessandra; Drago, Salvatore; Ferraro, Pierluca; Lo Re, Giuseppe
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
Cybersecurity of and through regulatory sandboxes: an analytical approach
2026 Ciarravano, Ludovica; Seferi, Fabio
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.
Empirical evaluation of the resistance of novel non-algebraic AES s-boxes to power side-channel attacks
2026 Cerini, Samuele Yves; Roascio, Gianluca; Maunero, Nicolò; Prinetto, Paolo
Enhancing malware classification with symbolic features
2021 Siwach, C.; Costa, G.; de Nicola, R.
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading
2025 Perini Brogi, Cosimo
A generative adversarial graph neural network for synthetic time series data
2025 Gregnanin, Marco; De Smedt, Johannes; Gnecco, Giorgio Stefano; Parton, Maurizio
Graph-based modelling of the Italian criminal code as a knowledge base for AI-assisted inference
2026 Cerini, Samuele Yves; Deidda, Nicola; Huang, Yilian; Lilli, Sara; Lobascio, Luca; Russo, Lavinia; Zucca, Maria Vittoria; Fumera, Giorgio; Giacinto, Giorgio; Prinetto, Paolo; Marsocci, Salvatore
Growing HOLMS, a HOL Light Library for Modal Systems
2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L.
Integrating human-in-the-loop AI systems in the Italian judicial system
2026 Cerini, Samuele Yves; Deidda, Nicola; Lilli, Sara; Zucca, Maria Vittoria; Fumera, Giorgio; Giacinto, Giorgio; Prinetto, Paolo; Marsocci, Salvatore
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.
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