Sasa Radomirovic

56 papers A* 5A 9C 3Misc 2Journal 17Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Juggling Formal Methods and Security - Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday Juggling Formal Methods and Security Barbara Fila, Hugo Jonker, Sasa Radomirovic
2026	—	`conf`	Sjouke Mauw: Conqueror of Ambiguities, Inconsistencies, and Incompleteness. Juggling Formal Methods and Security Jun Pang, Sasa Radomirovic
2025	—	`conf`	From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. SAFECOMP (Workshops) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2024	A	`conf`	Nothing is Out-of-Band: Formal Modeling of Ceremonies. CSF Barbara Fila, Sasa Radomirovic
2024	J	`jnl`	On the Design and Security of Collective Remote Attestation Protocols. CoRR Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne
2023	—	`conf`	Tactics for Account Access Graphs. ESORICS (3) Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic
2022	A*	`conf`	"I'm Surprised So Much Is Connected". CHI Sven Hammann, Michael Crabb, Sasa Radomirovic, Ralf Sasse, David A. Basin
2021	—	`conf`	"I'm Doing the Best I Can." - Understanding Technology Literate Older Adults' Account Management Strategies. STAST Melvin Abraham, Michael Crabb, Sasa Radomirovic
2021	A*	`conf`	Verifying Table-Based Elections. CCS David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic
2020	A	`conf`	Dispute Resolution in Voting. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2020	J	`jnl`	Dispute Resolution in Voting. CoRR David A. Basin, Sasa Radomirovic, Lara Schmid
2020	J	`jnl`	Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
2019	—	`conf`	Shaping Our Mental Model of Security (Transcript of Discussion). Security Protocols Workshop Sasa Radomirovic
2019	—	`conf`	Shaping Our Mental Model of Security. Security Protocols Workshop Sasa Radomirovic
2019	A*	`conf`	User Account Access Graphs. CCS Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin
2018	A*	`conf`	A Formal Analysis of 5G Authentication. CCS David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2018	A	`conf`	Alethea: A Provably Secure Random Sample Voting Protocol. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2018	A	`conf`	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
2018	J	`jnl`	Formal Analysis of 5G Authentication. CoRR David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler
2017	—	`conf`	An Anti-pattern for Misuse Cases. CyberICPS/SECPRE@ESORICS Mohammad Torabi Dashti, Sasa Radomirovic
2017	J	`jnl`	Force Open: Lightweight black box file repair. Digit. Investig. Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti
2016	A	`conf`	Modeling Human Errors in Security Protocols. CSF David A. Basin, Sasa Radomirovic, Lara Schmid
2015	A	`conf`	A Complete Characterization of Secure Human-Server Communication. CSF David A. Basin, Sasa Radomirovic, Michael Schläpfer
2015	—	`conf`	Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse
2015	Misc	`conf`	Attack Trees with Sequential Conjunction. SEC Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2015	J	`jnl`	Attack Trees with Sequential Conjunction. CoRR Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua
2015	—	`conf`	Derailing Attacks. Security Protocols Workshop Sasa Radomirovic, Mohammad Torabi Dashti
2015	—	`conf`	Generalizing Multi-party Contract Signing. POST Sjouke Mauw, Sasa Radomirovic
2015	J	`jnl`	Generalizing Multi-party Contract Signing. CoRR Sjouke Mauw, Sasa Radomirovic
2015	—	`conf`	Guided Specification and Analysis of a Loyalty Card System. GraMSec Laurent Cuennet, Marc Pouly, Sasa Radomirovic
2015	J	`jnl`	Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe
2015	—	`conf`	Location-Private Interstellar Communication. Security Protocols Workshop Hugo Jonker, Sjouke Mauw, Sasa Radomirovic
2014	J	`jnl`	Attack-defense trees. J. Log. Comput. Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2012	J	`jnl`	A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. Electron. J. Comb. Sasa Radomirovic
2012	A	`conf`	Constructing Optimistic Multi-party Contract Signing Protocols. CSF Barbara Kordy, Sasa Radomirovic
2011	—	`conf`	Insider Attacks and Privacy of RFID Protocols. EuroPKI Ton van Deursen, Sasa Radomirovic
2011	A*	`conf`	mCarve: Carving Attributed Dump Sets. USENIX Security Symposium Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
2010	C	`conf`	Contextual Biometric-Based Authentication for Ubiquitous Services. UIC Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic
2010	—	`conf`	EC-RAC: Enriching a Capacious RFID Attack Collection. RFIDSec Ton van Deursen, Sasa Radomirovic
2010	—	`conf`	Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer
2010	—	`conf`	Security Protocols for Secret Santa. Security Protocols Workshop Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan
2009	C	`conf`	Algebraic Attacks on RFID Protocols. WISTP Ton van Deursen, Sasa Radomirovic
2009	A	`conf`	Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti
2009	J	`jnl`	On a new formal proof model for RFID location privacy. Inf. Process. Lett. Ton van Deursen, Sasa Radomirovic
2009	A	`conf`	Secure Ownership and Ownership Transfer in RFID Systems. ESORICS Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers
2009	Misc	`conf`	Towards a Decision Model Based on Trust and Security Risk Management. AISC Baptiste Alcalde, Eric Dubois, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic
2009	J	`jnl`	Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. IACR Cryptol. ePrint Arch. Ton van Deursen, Sasa Radomirovic
2008	J	`jnl`	A framework for compositional verification of security protocols. Inf. Comput. Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2008	J	`jnl`	Attacks on RFID Protocols. IACR Cryptol. ePrint Arch. Ton van Deursen, Sasa Radomirovic
2008	J	`jnl`	On a New Formal Proof Model for RFID Location Privacy (Extended Version). IACR Cryptol. ePrint Arch. Ton van Deursen, Sasa Radomirovic
2008	—	`conf`	Security of RFID Protocols - A Case Study. STM@IFIPTM Ton van Deursen, Sasa Radomirovic
2008	—	`conf`	Security of an RFID Protocol for Supply Chains. ICEBE Ton van Deursen, Sasa Radomirovic
2008	C	`conf`	Untraceability of RFID Protocols. WISTP Ton van Deursen, Sjouke Mauw, Sasa Radomirovic
2007	—	`conf`	Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. STM@ESORICS Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic
2006	J	`jnl`	A framework for compositional verification of security protocols CoRR Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2006	J	`jnl`	Restricted Walks in Regular Trees. Electron. J. Comb. Laura Ciobanu, Sasa Radomirovic