Alberto Calvi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2016
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SAC | An automated approach for testing the security of web applications against chained attacks. | Alberto Calvi, Luca Vigan |
| 2013 | TAP | Evaluation of ASLan Mutation Operators. | Johan Oudinet, Alberto Calvi, Matthias Bchler |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2010 | SYNASC | WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. | Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Vigan, Luca Zanetti |
| 2010 | SYNASC | Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. | Alberto Calvi, Silvio Ranise, Luca Vigan |