Riccardo Traverso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CCS | Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. | Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza |
| 2015 | SACMAT | A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. | Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona |
| 2013 | LATA | Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. | Giorgio Delzanno, Riccardo Traverso |