Andrea S. Atzeni

23 papers B 1C 4Journal 4Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
A novel architecture to virtualise a hardware-bound trusted platform module.
Future Gener. Comput. Syst.
Marco de Benedictis, Ludovic Jacquin, Ignazio Pedone, Andrea S. Atzeni, Antonio Lioy
2021 J jnl
Toward a Complete Software Stack to Integrate Quantum Key Distribution in a Cloud Environment.
IEEE Access
Ignazio Pedone, Andrea S. Atzeni, Daniele Canavese, Antonio Lioy
2018 J jnl
Countering Android Malware: A Scalable Semi-Supervised Approach for Family-Signature Generation.
IEEE Access
Andrea S. Atzeni, Fernando Diaz, Andrea Marcelli, Antonio Sánchez, Giovanni Squillero, Alberto Paolo Tonda
2017 C conf
HAIT: Heap Analyzer with Input Tracing.
SECRYPT
Andrea S. Atzeni, Andrea Marcelli, Francesco Muroni, Giovanni Squillero
2017 — conf
The FICEP Infrastructure - How We Deployed the Italian eIDAS Node in the Cloud.
e-Democracy
Paolo Smiraglia, Marco de Benedictis, Andrea S. Atzeni, Antonio Lioy, Massimiliano Pucciarelli
2017 C conf
Towards Stronger Data Security in an eID Management Infrastructure.
PDP
Diana Berbecaru, Andrea S. Atzeni, Marco de Benedictis, Paolo Smiraglia
2015 J jnl
Android Apps Risk Evaluation: a methodology.
EAI Endorsed Trans. Ubiquitous Environ.
Andrea S. Atzeni, Tao Su, Madalina Baltatu, Rosalia D'Alessandro, Giovanni Pessiva
2014 — conf
Authorisation in Context: Incorporating Context-Sensitivity into an Access Control Framework.
BCS HCI
Shamal Faily, John Lyle, Ivan Flechais, Andrea S. Atzeni, Cesare Cameroni, Hans I. Myrhaug, Ayse Göker, Robert Kleinfeld
2014 C conf
How dangerous is your Android app?: an evaluation methodology.
MobiQuitous
Andrea S. Atzeni, Tao Su, Madalina Baltatu, Rosalia D'Alessandro, Giovanni Pessiva
2014 — conf
Lightweight Formal Verification in Real World, A Case Study.
CAiSE Workshops
Andrea S. Atzeni, Tao Su, Teodoro Montanaro
2013 — conf
Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project.
Haifa Verification Conference
Tao Su, John Lyle, Andrea S. Atzeni, Shamal Faily, Habib Virji, Christos Ntanos, Christos Botsikas
2012 — conf
Model-driven architectural risk analysis using architectural and contextualised attack patterns.
MDsec@MoDELS
Shamal Faily, John Lyle, Cornelius Namiluko, Andrea S. Atzeni, Cesare Cameroni
2012 — conf
Personal PKI for the Smart Device Era.
EuroPKI
John Lyle, Andrew J. Paverd, Justin King-Lacroix, Andrea S. Atzeni, Habib Virji, Ivan Flechais, Shamal Faily
2012 — conf
Requirements Sensemaking Using Concept Maps.
HCSE
Shamal Faily, John Lyle, André Paul, Andrea S. Atzeni, Dieter Blomme, Heiko Desruelle, Krishna Bangalore
2011 B conf
Here's Johnny: A Methodology for Developing Attacker Personas.
ARES
Andrea S. Atzeni, Cesare Cameroni, Shamal Faily, John Lyle, Ivan Flechais
2008 — conf
Generation of Diagnostic Plans for Large ICT Systems.
SECURWARE
Marco Domenico Aime, Andrea S. Atzeni
2008 — conf
Learning to Enhance Dependability of Information Systems.
SASO
Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi
2008 — conf
The risks with security metrics.
QoP
Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi
2007 — conf
AMBRA: automated model-based risk analysis.
QoP
Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi
2007 — conf
An Estimation of Attack Surface to Evaluate Network (in)security.
ICEIS (3)
Andrea S. Atzeni, Antonio Lioy
2006 — ed.
Public Key Infrastructure, Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006, Proceedings
EuroPKI
Andrea S. Atzeni, Antonio Lioy
2006 — ch.
Why to adopt a security metric? A brief survey.
Quality of Protection
Andrea S. Atzeni, Antonio Lioy
2005 C conf
The Wireless Opaque Channel to Contrast Information Leakage.
WOWMOM
Marco Domenico Aime, Andrea S. Atzeni, Antonio Lioy