Rosario Giustolisi

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 25

Top Topics

Automated Analysis

Differential Privacy

Security Analysis

Top Venues

Security Protocols Workshop

J. Comput. Secur.

Publications

Maryam Sheikhi, Rosario Giustolisi, Carsten Schürmann
Receipt-Free Electronic Voting from zk-SNARK. SECRYPT (2023)
Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schuermann
Thwarting Last-Minute Voter Coercion. IACR Cryptol. ePrint Arch. 2023 (2023)
Bernardo David, Rosario Giustolisi, Victor Mortensen, Morten Pedersen
Local Differential Privacy in Voting. ITASEC (2023)
Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann
Modelling human threats in security ceremonies. J. Comput. Secur. 30 (3) (2022)
Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini
Secure Internet Exams Despite Coercion. CoRR (2022)
Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini
Secure Internet Exams Despite Coercion. DPM/CBT@ESORICS (2022)
Rosario Giustolisi, Carsten Schürmann
POSTER: Enabling User-Accountable Mechanisms in Decision Systems. ACNS Workshops (2022)
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
Security Protocols as Choreographies. Protocols, Strands, and Logic (2021)
Rosario Giustolisi, Alessandro Bruni
Privacy-Preserving Dispute Resolution in the Improved Bingo Voting. E-VOTE-ID (2020)
Willard Rafnsson, Rosario Giustolisi, Mark Kragerup, Mathias Høyrup
Fixing Vulnerabilities Automatically with Linters. NSS (2020)
Ivan Garbacz, Rosario Giustolisi, Kasper Møller Nielsen, Carsten Schürmann
A Security Analysis of the Danish Deposit Return System. STAST (2019)
Diego Sempreboni, Giampaolo Bella, Rosario Giustolisi, Luca Viganò
What Are the Threats? (Charting the Threat Models of Security Ceremonies). ICETE (2) (2019)
Rosario Giustolisi, Giampaolo Bella, Gabriele Lenzini
Invalid certificates in modern browsers: A socio-technical analysis. J. Comput. Secur. 26 (4) (2018)
Rosario Giustolisi
Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets. NordSec (2017)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
Trustworthy exams without trusted parties. Comput. Secur. 67 (2017)
Alessandro Bruni, Rosario Giustolisi, Carsten Schürmann
Automated Analysis of Accountability. ISC (2017)
Giampaolo Bella, Rosario Giustolisi
Idea: A Unifying Theory for Evaluation Systems. ESSoS (2017)
Rosario Giustolisi, Vincenzo Iovino, Gabriele Lenzini
Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol. SECRYPT (2017)
Rosario Giustolisi, Christian Gehrmann
Threats to 5G Group-based Authentication. SECRYPT (2016)
Rosario Giustolisi, Vincenzo Iovino, Peter B. Rønne
On the Possibility of Non-interactive E-Voting in the Public-Key Setting. Financial Cryptography Workshops (2016)
Rosario Giustolisi, Christian Gehrmann, Markus Ahlström, Simon Holmberg
A Secure Group-Based AKA Protocol for Machine-Type Communications. ICISC (2016)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
A Secure Exam Protocol Without Trusted Parties. SEC (2015)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
A Framework for Analyzing Verifiability in Traditional and Electronic Exams. ISPEC (2015)
Rosario Giustolisi
Design and Analysis of Secure Exam Protocols. CoRR (2015)
Rosario Giustolisi, Vincenzo Iovino, Peter B. Rønne
On the Possibility of Non-Interactive E-Voting in the Public-key Setting. IACR Cryptol. ePrint Arch. 2015 (2015)
Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
Remark!: A Secure Protocol for Remote Exams. Security Protocols Workshop (2014)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
Secure exams despite malicious management. PST (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Analysis of Electronic Exams. SECRYPT (2014)
Rosario Giustolisi
Remark!: A Secure Protocol for Remote Exams (Transcript of Discussion). Security Protocols Workshop (2014)
Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini
A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops (2014)
Ana Ferreira, Rosario Giustolisi, Jean-Louis Huynen, Vincent Koenig, Gabriele Lenzini
Studies in Socio-technical Security Analysis: Authentication of Identities with TLS Certificates. TrustCom/ISPA/IUCC (2013)
Rosario Giustolisi, Gabriele Lenzini, Giampaolo Bella
What security for electronic exams? CRiSIS (2013)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
Socio-technical formal analysis of TLS certificate validation in modern browsers. PST (2013)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini
A Socio-technical Understanding of TLS Certificate Validation. IFIPTM (2013)
Giampaolo Bella, Rosario Giustolisi, Salvatore Riccobene
Enforcing privacy in e-commerce by balancing anonymity and trust. Comput. Secur. 30 (8) (2011)