Sfoglia per Serie
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.
| 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 | |
| Supporting criminal investigations on the blockchain: a temporal logic-based approach | 1-gen-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 | 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