Sfoglia per Serie
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