Anna Vaccarelli

26 papers A 1C 3Journal 5Unranked 17
YearRankTypeTitle / Venue / Authors
2023 C conf
A Serious Video Game on Cybersecurity.
ICEC
Giorgia Bassi, Stefania Fabbri, Anna Vaccarelli
2023 — conf
SuperCyberKids: Enhancing Cybersecurity Education in K-12 Through Digital Game-Based Learning.
HELMeTO
Flavio Manganello, Peadar Callaghan, Giuseppe Città, Paola Denaro, Jeffrey Earp, Chiara Fante, Dirk Ifenthaler, Catlyn Kirna, Luca Janka Laszlo, Ilaria Matteucci, Salvatore Perna, Nicolai Plintz, Anna Vaccarelli, Manuel Gentile
2022 J jnl
Ludoteca del Registro.it: Cybersecurity in Education.
ERCIM News
Giorgia Bassi, Stefania Fabbri, Anna Vaccarelli
2020 — conf
Presente Digitale: An Online Education System for Teachers.
HELMeTO
Michela Fazzolari, Stefania Fabbri, Ilaria Matteucci, Marinella Petrocchi, Anna Vaccarelli
2008 C conf
Mobile Implementation and Formal Verification of an e-Voting System.
ICIW
Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2007 — conf
Extending the Globus Architecture with Role-Based Trust Management.
EUROCAST
Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2007 — conf
Fine Grained Access Control with Trust and Reputation Management for Globus.
OTM Conferences (2)
Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli
2006 — conf
A Fine-Grained and X.509-Based Access Control System for Globus.
OTM Conferences (2)
Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli
2006 J jnl
An asymmetric fingerprint matching algorithm for Java Card
Pattern Anal. Appl.
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
2006 — conf
Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services.
ICAS
Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2006 J jnl
Formal analysis of some secure procedures for certificate delivery.
Softw. Test. Verification Reliab.
Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2006 A conf
Policy Driven Virtual Machine Monitor for Protected Grids.
HPDC
Fabrizio Baiardi, Laura Ricci, Paolo Mori, Anna Vaccarelli
2005 — conf
A Flexible Framework for Access Control Based on Ability Authentication.
SAINT Workshops
Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli
2005 — conf
An Asymmetric Fingerprint Matching Algorithm for Java Card™.
AVBPA
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
2005 — conf
MOC via TOC Using a Mobile Agent Framework.
AVBPA
Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli
2005 J jnl
SEAS, a secure e-voting protocol: Design and implementation.
Comput. Secur.
Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2005 — conf
Towards Continuous Usage Control on Grid Computational Services.
ICAS/ICNS
Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2004 — conf
Improving Grid Services Security with Fine Grain Policies.
OTM Workshops
Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli
2004 — conf
Local Management of Credits and Debits in Mobile Ad Hoc Networks.
Communications and Multimedia Security
Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 — conf
Compositional Verification of Integrity for Digital Stream Signature Protocols.
ACSD
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 — conf
Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
ICTCS
Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 — conf
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols.
FMOODS
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2003 — conf
SEAS: A Secure E-Voting Applet System.
ISSS
Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
2002 C conf
Automated Analysis of Some Security Mechanisms of SCEP.
ISC
Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
1994 J jnl
An algebraic method for detection and recognition of polyhedral objects from a single image.
Pattern Recognit.
Giovanni Marola, Anna Vaccarelli
1992 — conf
An algebraic method for detecting three-dimensional objects in a picture.
ICPR (1)
Giovanni Marola, Anna Vaccarelli