Accountable Bulletin Boards: Definition and Provably Secure Implementation

Authors: Graf, Mike, Kusters, Ralf, Rausch, Daniel, Egger, Simon, Bechtold, Marvin, Flinspach, Marcel

Source: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :201-216 Jul, 2024

Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)

Formal Security Analysis of the OpenID FAPI 2.0: Accompanying a Standardization Process

Authors: Hosseyni, Pedram, Kusters, Ralf, Wurtele, Tim

Source: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :589-604 Jul, 2024

Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)

AUC: Accountable Universal Composability

Authors: Graf, Mike, Kusters, Ralf, Rausch, Daniel

Source: 2023 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2023 IEEE Symposium on. :1148-1167 May, 2023

Relation: 2023 IEEE Symposium on Security and Privacy (SP)

Publicly Accountable Robust Multi-Party Computation

Authors: Rivinius, Marc, Reisert, Pascal, Rausch, Daniel, Kusters, Ralf

Source: 2022 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2022 IEEE Symposium on. :2430-2449 May, 2022

Relation: 2022 IEEE Symposium on Security and Privacy (SP)

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

Authors: Do, Quoc Huy, Hosseyni, Pedram, Kusters, Ralf, Schmitz, Guido, Wenzler, Nils, Wurtele, Tim

Source: 2022 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2022 IEEE Symposium on. :215-234 May, 2022

Relation: 2022 IEEE Symposium on Security and Privacy (SP)

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Authors: Bhargavan, Karthikeyan, Bichhawat, Abhishek, Do, Quoc Huy, Hosseyni, Pedram, Kusters, Ralf, Schmitz, Guido, Wurtele, Tim

Source: 2021 IEEE European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2021 IEEE European Symposium on. :523-542 Sep, 2021

Relation: 2021 IEEE European Symposium on Security and Privacy (EuroS&P)

Ordinos: A Verifiable Tally-Hiding E-Voting System

Authors: Kusters, Ralf, Liedtke, Julian, Muller, Johannes, Rausch, Daniel, Vogt, Andreas

Source: 2020 IEEE European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2020 IEEE European Symposium on. :216-235 Sep, 2020

Relation: 2020 IEEE European Symposium on Security and Privacy (EuroS&P)

Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric

Authors: Graf, Mike, Kusters, Ralf, Rausch, Daniel

Source: 2020 IEEE European Symposium on Security and Privacy (EuroS&P) EUROSP Security and Privacy (EuroS&P), 2020 IEEE European Symposium on. :236-255 Sep, 2020

Relation: 2020 IEEE European Symposium on Security and Privacy (EuroS&P)

An Extensive Formal Security Analysis of the OpenID Financial-Grade API

Authors: Fett, Daniel, Hosseyni, Pedram, Kusters, Ralf

Source: 2019 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2019 IEEE Symposium on. :453-471 May, 2019

Relation: 2019 IEEE Symposium on Security and Privacy (SP)

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

Authors: Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Source: 2017 IEEE 30th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2017 IEEE 30th. :189-202 Aug, 2017

Relation: 2017 IEEE 30th Computer Security Foundations Symposium (CSF)

A Framework for Universally Composable Diffie-Hellman Key Exchange

Authors: Kusters, Ralf, Rausch, Daniel

Source: 2017 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2017 IEEE Symposium on. :881-900 May, 2017

Relation: 2017 IEEE Symposium on Security and Privacy (SP)

sElect: A Lightweight Verifiable Remote Voting System

Authors: Kusters, Ralf, Muller, Johannes, Scapin, Enrico, Truderung, Tomasz

Source: 2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :341-354 Jun, 2016

Relation: 2016 IEEE 29th Computer Security Foundations Symposium (CSF)

SoK: Verifiability Notions for E-Voting Protocols

Authors: Cortier, Veronique, Galindo, David, Kusters, Ralf, Muller, Johannes, Truderung, Tomasz

Source: 2016 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2016 IEEE Symposium on. :779-798 May, 2016

Relation: 2016 IEEE Symposium on Security and Privacy (SP)

Security Analysis of Re-Encryption RPC Mix Nets

Authors: Kusters, Ralf, Truderung, Tomasz

Source: 2016 IEEE European Symposium on Security and Privacy (EuroS&P) Security and Privacy (EuroS&P), 2016 IEEE European Symposium on. :227-242 Mar, 2016

Relation: 2016 IEEE European Symposium on Security and Privacy (EuroS&P)

A Hybrid Approach for Proving Noninterference of Java Programs

Authors: Kusters, Ralf, Truderung, Tomasz, Beckert, Bernhard, Bruns, Daniel, Kirsten, Michael, Mohr, Martin

Source: 2015 IEEE 28th Computer Security Foundations Symposium Computer Security Foundations Symposium (CSF), 2015 IEEE 28th. :305-319 Jul, 2015

Relation: 2015 IEEE 28th Computer Security Foundations Symposium (CSF)

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking

Authors: Kusters, Ralf, Truderung, Tomasz, Vogt, Andreas

Source: 2014 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2014 IEEE Symposium on. :343-358 May, 2014

Relation: 2014 IEEE Symposium on Security and Privacy (SP)

An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

Authors: Fett, Daniel, Kusters, Ralf, Schmitz, Guido

Source: 2014 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2014 IEEE Symposium on. :673-688 May, 2014

Relation: 2014 IEEE Symposium on Security and Privacy (SP)

A Framework for the Cryptographic Verification of Java-Like Programs

Authors: Kusters, Ralf, Truderung, Tomasz, Graf, Jurgen

Source: 2012 IEEE 25th Computer Security Foundations Symposium Computer Security Foundations Symposium (CSF), 2012 IEEE 25th. :198-212 Jun, 2012

Relation: 2012 IEEE 25th Computer Security Foundations Symposium (CSF)

Clash Attacks on the Verifiability of E-Voting Systems

Authors: Kusters, Ralf, Truderung, Tomasz, Vogt, Andreas

Source: 2012 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2012 IEEE Symposium on. :395-409 May, 2012

Relation: 2012 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change

Infinite State AMC-Model Checking for Cryptographic Protocols

Authors: Kahler, Detlef, Kusters, Ralf, Truderung, Tomasz

Source: 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on. :181-192 Jul, 2007

Relation: 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)