Demo Data from EDBT 2026 / reviewers in the wild / expert
Anna Vaccarelli
dblp:65/1647
· DBLP profile ↗
9ranked-venue papers
0as first author
1since 2021 · last 2023
0000-0001-7240-4803ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3Security and privacy · 2Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 since 2021Systems, architecture and hardware · 1Software engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Cloud and datacenter computing · 87% Distributed systems · 13% | |
| Network and information security
1 paper |
Cyber-physical and IoT security · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cloud and datacenter computing
virtualization |
0.1 | 1 | 2006 | Policy Driven Virtual Machine Monitor for Protected Grids · HPDC 2006 |
Cloud and datacenter computing › virtualization
virtual machine monitor |
0.1 | 1 | 2006 | Policy Driven Virtual Machine Monitor for Protected Grids · HPDC 2006 |
Cyber-physical and IoT security
grid security |
0.0 | 1 | 2006 | Policy Driven Virtual Machine Monitor for Protected Grids · HPDC 2006 |
Distributed systems
grid computing |
0.0 | 1 | 2006 | Policy Driven Virtual Machine Monitor for Protected Grids · HPDC 2006 |
Methods — techniques the papers use, named apart from their topics
policy-driven control · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | A Serious Video Game on Cybersecurity
Giorgia Bassi, Stefania Fabbri, Anna Vaccarelli |
ICEC | 3 |
| 2008 | Mobile Implementation and Formal Verification of an e-Voting SystemabstractWe propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system. Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
ICIW | 5 |
| 2006 | Policy Driven Virtual Machine Monitor for Protected GridsabstractThis paper advocates virtualization technology as a methodology to solve the security problems that an organization has to face when contributes with its resources to a grid. In particular, this technology makes it possible to increase the overall security of any system by inserting a set of controls into the code that implements one virtual machine. In this way, a secure cooperation among virtual machine can be implemented. This generalizes the current approach that exploits virtualization only for the confinement of alternative programming environments resulting from the partitioning of a physical machine into a set of non-cooperating virtual machines. The ability to support cooperation among virtual machines may be used to define networks of cooperating virtual machines to execute distributed applications. The paper describes a general purpose approach to security based upon virtual networks of cooperating virtual machines and applies it to one of the most challenging problems: that of securing a grid environment Fabrizio Baiardi, Laura Ricci, Paolo Mori, Anna Vaccarelli |
HPDC | 4 |
| 2006 | An asymmetric fingerprint matching algorithm for Java Card TM
Stefano Bistarelli, Francesco Santini 0001, Anna Vaccarelli |
Pattern Anal. Appl. | 3 |
| 2006 | Formal analysis of some secure procedures for certificate deliveryabstractThis paper describes and formally analyses two communication protocols that manage the secure emission of digital certificates. The formal analysis is carried out by means of a software tool for the automatic verification of cryptographic protocols with finite behaviour. The tool is able to discover, at a conceptual level, attacks against security procedures. The methodology is general enough to be applied to several kinds of cryptographic procedures and protocols. It is the opinion of the authors that this approach contributes towards a better understanding of the structure and aims of a protocol, for developers, analysers and final users. Copyright © 2005 John Wiley & Sons, Ltd. Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Softw. Test. Verification Reliab. | 3 |
| 2005 | SEAS, a secure e-voting protocol: Design and implementation
Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
Comput. Secur. | 6 |
| 2002 | Automated Analysis of Some Security Mechanisms of SCEP
Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli |
ISC | 3 |
| 1994 | An algebraic method for detection and recognition of polyhedral objects from a single image
Giovanni Marola, Anna Vaccarelli |
Pattern Recognit. | 2 |
| 1992 | An algebraic method for detecting three-dimensional objects in a pictureabstractAn algorithm is proposed for the recognition of polyhedral objects. It is effective for objects that are rotated, scaled or overlapping. It uses only one orthographic projection. The algorithm is not based on the numerical solution of nonlinear equations and does not require any a priori knowledge. It is based on simple algebraic equations, which are easy to solve and do not require time-consuming numerical procedures.> Giovanni Marola, Anna Vaccarelli |
ICPR (1) | 2 |