default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSasa Radomirovic
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c36]Barbara Fila, Sasa Radomirovic:
Nothing is Out-of-Band: Formal Modeling of Ceremonies. CSF 2024: 464-478- [i9]Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne:
On the Design and Security of Collective Remote Attestation Protocols. CoRR abs/2407.09203 (2024) - 2023
- [c35]Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic:
Tactics for Account Access Graphs. ESORICS (3) 2023: 452-470 - 2022
- [c34]Sven Hammann, Michael Crabb, Sasa Radomirovic
, Ralf Sasse, David A. Basin:
"I'm Surprised So Much Is Connected". CHI 2022: 620:1-620:13 - 2021
- [c33]David A. Basin, Jannik Dreier, Sofia Giampietro, Sasa Radomirovic:
Verifying Table-Based Elections. CCS 2021: 2632-2652 - [c32]Melvin Abraham, Michael Crabb, Sasa Radomirovic:
"I'm Doing the Best I Can." - Understanding Technology Literate Older Adults' Account Management Strategies. STAST 2021: 86-107 - 2020
- [j8]Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse:
Verification of stateful cryptographic protocols with exclusive OR. J. Comput. Secur. 28(1): 1-34 (2020) - [c31]David A. Basin, Sasa Radomirovic, Lara Schmid:
Dispute Resolution in Voting. CSF 2020: 1-16 - [i8]David A. Basin, Sasa Radomirovic, Lara Schmid:
Dispute Resolution in Voting. CoRR abs/2005.03749 (2020)
2010 – 2019
- 2019
- [c30]Sven Hammann, Sasa Radomirovic, Ralf Sasse, David A. Basin:
User Account Access Graphs. CCS 2019: 1405-1422 - [c29]Sasa Radomirovic:
Shaping Our Mental Model of Security. Security Protocols Workshop 2019: 51-59 - [c28]Sasa Radomirovic:
Shaping Our Mental Model of Security (Transcript of Discussion). Security Protocols Workshop 2019: 60-68 - 2018
- [c27]David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler:
A Formal Analysis of 5G Authentication. CCS 2018: 1383-1396 - [c26]David A. Basin, Sasa Radomirovic, Lara Schmid:
Alethea: A Provably Secure Random Sample Voting Protocol. CSF 2018: 283-297 - [c25]Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse:
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. CSF 2018: 359-373 - [i7]David A. Basin, Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse, Vincent Stettler:
Formal Analysis of 5G Authentication. CoRR abs/1806.10360 (2018) - 2017
- [j7]Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti:
Force Open: Lightweight black box file repair. Digit. Investig. 20 Supplement: S75-S82 (2017) - [c24]Mohammad Torabi Dashti, Sasa Radomirovic:
An Anti-pattern for Misuse Cases. CyberICPS/SECPRE@ESORICS 2017: 250-261 - 2016
- [c23]David A. Basin, Sasa Radomirovic, Lara Schmid:
Modeling Human Errors in Security Protocols. CSF 2016: 325-340 - 2015
- [j6]David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe:
Improving the Security of Cryptographic Protocol Standards. IEEE Secur. Priv. 13(3): 24-31 (2015) - [c22]David A. Basin, Michel Keller, Sasa Radomirovic, Ralf Sasse:
Alice and Bob Meet Equational Theories. Logic, Rewriting, and Concurrency 2015: 160-180 - [c21]Laurent Cuennet, Marc Pouly, Sasa Radomirovic:
Guided Specification and Analysis of a Loyalty Card System. GraMSec@CSF 2015: 66-81 - [c20]David A. Basin, Sasa Radomirovic, Michael Schläpfer:
A Complete Characterization of Secure Human-Server Communication. CSF 2015: 199-213 - [c19]Sjouke Mauw, Sasa Radomirovic:
Generalizing Multi-party Contract Signing. POST 2015: 156-175 - [c18]Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua:
Attack Trees with Sequential Conjunction. SEC 2015: 339-353 - [c17]Sasa Radomirovic, Mohammad Torabi Dashti:
Derailing Attacks. Security Protocols Workshop 2015: 41-46 - [c16]Hugo Jonker, Sjouke Mauw, Sasa Radomirovic:
Location-Private Interstellar Communication. Security Protocols Workshop 2015: 105-115 - [i6]Sjouke Mauw, Sasa Radomirovic:
Generalizing Multi-party Contract Signing. CoRR abs/1501.03868 (2015) - [i5]Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua:
Attack Trees with Sequential Conjunction. CoRR abs/1503.02261 (2015) - 2014
- [j5]Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer:
Attack-defense trees. J. Log. Comput. 24(1): 55-87 (2014) - 2012
- [j4]Sasa Radomirovic:
A Construction of Short Sequences Containing All Permutations of a Set as Subsequences. Electron. J. Comb. 19(4): 31 (2012) - [c15]Barbara Kordy, Sasa Radomirovic:
Constructing Optimistic Multi-party Contract Signing Protocols. CSF 2012: 215-229 - 2011
- [c14]Ton van Deursen, Sasa Radomirovic:
Insider Attacks and Privacy of RFID Protocols. EuroPKI 2011: 91-105 - [c13]Ton van Deursen, Sjouke Mauw, Sasa Radomirovic:
mCarve: Carving Attributed Dump Sets. USENIX Security Symposium 2011 - 2010
- [c12]Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer:
Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust 2010: 80-95 - [c11]Ton van Deursen, Sasa Radomirovic:
EC-RAC: Enriching a Capacious RFID Attack Collection. RFIDSec 2010: 75-90 - [c10]Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan:
Security Protocols for Secret Santa. Security Protocols Workshop 2010: 175-184 - [c9]Ileana Buhan, Gabriele Lenzini, Sasa Radomirovic:
Contextual Biometric-Based Authentication for Ubiquitous Services. UIC 2010: 680-693
2000 – 2009
- 2009
- [j3]Ton van Deursen, Sasa Radomirovic:
On a new formal proof model for RFID location privacy. Inf. Process. Lett. 110(2): 57-61 (2009) - [c8]Baptiste Alcalde, Eric Dubois, Sjouke Mauw, Nicolas Mayer, Sasa Radomirovic:
Towards a Decision Model Based on Trust and Security Risk Management. AISC 2009: 61-69 - [c7]Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti:
Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF 2009: 13-25 - [c6]Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers:
Secure Ownership and Ownership Transfer in RFID Systems. ESORICS 2009: 637-654 - [c5]Ton van Deursen, Sasa Radomirovic:
Algebraic Attacks on RFID Protocols. WISTP 2009: 38-51 - [i4]Ton van Deursen, Sasa Radomirovic:
Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC. IACR Cryptol. ePrint Arch. 2009: 332 (2009) - 2008
- [j2]Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008) - [c4]Ton van Deursen, Sasa Radomirovic:
Security of an RFID Protocol for Supply Chains. ICEBE 2008: 568-573 - [c3]Ton van Deursen, Sjouke Mauw, Sasa Radomirovic:
Untraceability of RFID Protocols. WISTP 2008: 1-15 - [c2]Ton van Deursen, Sasa Radomirovic:
Security of RFID Protocols - A Case Study. STM@IFIPTM 2008: 41-52 - [i3]Ton van Deursen, Sasa Radomirovic:
Attacks on RFID Protocols. IACR Cryptol. ePrint Arch. 2008: 310 (2008) - [i2]Ton van Deursen, Sasa Radomirovic:
On a New Formal Proof Model for RFID Location Privacy (Extended Version). IACR Cryptol. ePrint Arch. 2008: 477 (2008) - 2007
- [c1]Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic:
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. STM@ESORICS 2007: 31-43 - 2006
- [j1]Laura Ciobanu, Sasa Radomirovic:
Restricted Walks in Regular Trees. Electron. J. Comb. 13(1) (2006) - [i1]Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic:
A framework for compositional verification of security protocols. CoRR abs/cs/0611062 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
