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