Andrea S. Atzeni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PDP | Towards Stronger Data Security in an eID Management Infrastructure. | Diana Berbecaru, Andrea S. Atzeni, Marco de Benedictis, Paolo Smiraglia |
| 2017 | SECRYPT | HAIT: Heap Analyzer with Input Tracing. | Andrea S. Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero |
| 2014 | CaiSE | Lightweight Formal Verification in Real World, A Case Study. | Andrea S. Atzeni, Tao Su, Teodoro Montanaro |
| 2014 | Mobiquitous | How dangerous is your Android app?: an evaluation methodology. | Andrea S. Atzeni, Tao Su, Madalina Baltatu, Rosalia D'Alessandro, Giovanni Pessiva |
| 2012 | MODELS | Model-driven architectural risk analysis using architectural and contextualised attack patterns. | Shamal Faily, John Lyle, Cornelius Namiluko, Andrea S. Atzeni, Cesare Cameroni |
| 2008 | CCS | The risks with security metrics. | Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi |
| 2007 | CCS | AMBRA: automated model-based risk analysis. | Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi |
| 2005 | WoWMoM | The Wireless Opaque Channel to Contrast Information Leakage. | Marco Domenico Aime, Andrea S. Atzeni, Antonio Lioy |