GORLA, DANIELE
GORLA, DANIELE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
Centralized vs Decentralized Monitors for Hyperproperties
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
Centralized vs Decentralized Monitors for Hyperproperties | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana |