PAIER, MATTEO
PAIER, MATTEO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Fine-grained symbolic verification of heterogeneous systems: systematic exploration and formal analysis of “what-if” attack scenarios | 14-set-2026 | Paier, Matteo | |
| Strobilus: enriching cedar with stateful policies | 1-gen-2026 | Baldo, Massimiliano; Di Gianantonio, Pietro; Paier, Matteo; Miculan, Marino |