Clara Waldmann

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 13

Top Topics

Pure Nash Equilibrium

Authentication Protocol

Congestion Games

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

Oper. Res. Lett.

Publications

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in $\textsf {DY}^\star $. ESORICS (3) (2023)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. Math. Oper. Res. 48 (1) (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in DY$^\star$. IACR Cryptol. ePrint Arch. 2023 (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. ESORICS (3) (2023)
Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard. IACR Cryptol. ePrint Arch. 2023 (2023)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record with preorders. Acta Informatica 59 (5) (2022)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. ICALP (2020)
George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann
Existence and Complexity of Approximate Equilibria in Weighted Congestion Games. CoRR (2020)
Marinus Gottschau, Marcus Kaiser, Clara Waldmann
The undirected two disjoint shortest paths problem. Oper. Res. Lett. 47 (1) (2019)
Marinus Gottschau, Felix Happach, Marcus Kaiser, Clara Waldmann
Budget Minimization with Precedence Constraints. CoRR (2019)
Marinus Gottschau, Marcus Kaiser, Clara Waldmann
The Undirected Two Disjoint Shortest Paths Problem. CoRR (2018)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index appearance record for transforming Rabin automata into parity automata. CoRR (2017)
Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS (1) (2017)