Rocchetto, Marco
Rocchetto, Marco
DIPARTIMENTO DI INFORMATICA
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems
2017-01-01 Santacà, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, Luca
Methods and tools for design time and runtime formal analysis of security protocols and web applications
2015-01-01 Rocchetto, Marco
Model-Based Detection of CSRF
2014-01-01 Rocchetto, Marco; Martín, Ochoa; Mohammad Torabi, Dashti
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
2012-01-01 Alessandro, Armando; Wihem, Arsac; Tigran, Avanesov; Barletta, Michele; Calvi, Alberto; Alessandro, Cappai; Roberto, Carbone; Yannick, Chevalier; Luca, Compagna; Jorge, Cuellar; Gabriel, Erzse; Simone, Frau; Marius, Minea; Sebastian, Moedersheim; David von, Oheimb; Giancarlo, Pellegrino; Serena Elisa, Ponta; Rocchetto, Marco; Michael, Rusinowitch; Mohammad Torabi, Dashti; Mathieu, Turuani; Vigano', Luca
Using interpolation for the verification of security protocols
2013-01-01 Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems | 1-gen-2017 | Santacà, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, Luca | |
| Methods and tools for design time and runtime formal analysis of security protocols and web applications | 1-gen-2015 | Rocchetto, Marco | |
| Model-Based Detection of CSRF | 1-gen-2014 | Rocchetto, Marco; Martín, Ochoa; Mohammad Torabi, Dashti | |
| The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures | 1-gen-2012 | Alessandro, Armando; Wihem, Arsac; Tigran, Avanesov; Barletta, Michele; Calvi, Alberto; Alessandro, Cappai; Roberto, Carbone; Yannick, Chevalier; Luca, Compagna; Jorge, Cuellar; Gabriel, Erzse; Simone, Frau; Marius, Minea; Sebastian, Moedersheim; David von, Oheimb; Giancarlo, Pellegrino; Serena Elisa, Ponta; Rocchetto, Marco; Michael, Rusinowitch; Mohammad Torabi, Dashti; Mathieu, Turuani; Vigano', Luca | |
| Using interpolation for the verification of security protocols | 1-gen-2013 | Rocchetto, Marco; Vigano', Luca; Volpe, Marco; G., Dalle Vedove |