Rosario Giustolisi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DBSEC | Anonymous yet Verifiable Privacy-Preserving Demand Response. | Rosario Giustolisi, Emad Heydari Beni, Daniele Marletta, Maryam Sheikhi Garjan |
| 2025 | FC | Anamorphic Voting: Ballot Freedom Against Dishonest Authorities. | Rosario Giustolisi, Mohammadamin Rakeei, Gabriele Lenzini |
| 2024 | SP | Thwarting Last-Minute Voter Coercion. | Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schrmann |
| 2023 | SECRYPT | Receipt-Free Electronic Voting from zk-SNARK. | Maryam Sheikhi, Rosario Giustolisi, Carsten Schrmann |
| 2022 | ACNS | POSTER: Enabling User-Accountable Mechanisms in Decision Systems. | Rosario Giustolisi, Carsten Schrmann |
| 2022 | ESORICS | Secure Internet Exams Despite Coercion. | Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini |
| 2020 | NSS | Fixing Vulnerabilities Automatically with Linters. | Willard Rafnsson, Rosario Giustolisi, Mark Kragerup, Mathias Hyrup |
| 2017 | SECRYPT | Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. | Rosario Giustolisi, Vincenzo Iovino, Gabriele Lenzini |
| 2016 | FC | On the Possibility of Non-interactive E-Voting in the Public-Key Setting. | Rosario Giustolisi, Vincenzo Iovino, Peter B. Rnne |
| 2016 | ICISC | A Secure Group-Based AKA Protocol for Machine-Type Communications. | Rosario Giustolisi, Christian Gehrmann, Markus Ahlstrm, Simon Holmberg |
| 2016 | SECRYPT | Threats to 5G Group-based Authentication. | Rosario Giustolisi, Christian Gehrmann |
| 2015 | ISPEC | A Framework for Analyzing Verifiability in Traditional and Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini |
| 2015 | SEC | A Secure Exam Protocol Without Trusted Parties. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan |
| 2014 | COMPSAC | A Socio-technical Methodology for the Security and Privacy Analysis of Services. | Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | PST | Secure exams despite malicious management. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |
| 2013 | CRiSIS | What security for electronic exams? | Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella |
| 2013 | PST | Socio-technical formal analysis of TLS certificate validation in modern browsers. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini |
| 2013 | TrustCom | Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates. | Ana Ferreira, Rosario Giustolisi, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini |