GORLA, DANIELE
GORLA, DANIELE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.003 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
Centralized vs Decentralized Monitors for Hyperproperties
In corso di stampa Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Preventing Out-of-Gas Exceptions by Typing
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian; Hamdaqa, Mohammad
| 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 | |
| Centralized vs Decentralized Monitors for Hyperproperties | In corso di stampa | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
| Preventing Out-of-Gas Exceptions by Typing | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian; Hamdaqa, Mohammad |