Rosario Giustolisi

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