MACEDONIO, Damiano
MACEDONIO, Damiano
A Semantic Analysis of Wireless Network Security Protocols
2012-01-01 Macedonio, Damiano; Merro, Massimo
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Boolean Formulas for the Static Identification of Injection Attacks in Java
2015-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Locking Discipline Inference and Checking
2016-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
Semantics for Locking Specifications
2016-01-01 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
Static Identification of Injection Attacks in Java
2019-01-01 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
2013-01-01 Battisti, L.; Macedonio, D.; Merro, M.
Statistical model checking of ad hoc routing protocols in lossy grid networks
2015-01-01 Dal Corso, Alice; Macedonio, Damiano; Merro, Massimo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Semantic Analysis of Wireless Network Security Protocols | 1-gen-2012 | Macedonio, Damiano; Merro, Massimo | |
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| Boolean Formulas for the Static Identification of Injection Attacks in Java | 1-gen-2015 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto | |
| Locking Discipline Inference and Checking | 1-gen-2016 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | |
| Semantics for Locking Specifications | 1-gen-2016 | Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto | |
| Static Identification of Injection Attacks in Java | 1-gen-2019 | Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian | |
| Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks | 1-gen-2013 | Battisti, L.; Macedonio, D.; Merro, M. | |
| Statistical model checking of ad hoc routing protocols in lossy grid networks | 1-gen-2015 | Dal Corso, Alice; Macedonio, Damiano; Merro, Massimo |