Sfoglia per Serie
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
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.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Pattern-preserving k-anonymization of sequences and its application to mobility data mining | 1-gen-2008 | Pensa, R. G.; Monreale, A.; Pinelli, F.; Pedreschi, D. | |
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) | 1-gen-2024 | Perini Brogi, Cosimo; DE NICOLA, Rocco; Inverso, Omar | |
Toward Dynamic Epistemic Verification of Zero-Knowledge Protocols | 1-gen-2024 | Costa, Gabriele; Perini Brogi, Cosimo | |
A working experimentation model for cyber resilience regulatory sandboxes | 1-gen-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