Clara Waldmann

According to our database, Clara Waldmann authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Layered Symbolic Security Analysis in DY$^\star$.

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele

IACR Cryptol. ePrint Arch., 2023

The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.

Florian Helmschmidt, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Clara Waldmann, Tim Würtele

Proceedings of the Computer Security - ESORICS 2023, 2023

Layered Symbolic Security Analysis in $\textsf {DY}^\star $.

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

Index appearance record with preorders.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Acta Informatica, 2022

2020

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games.

George Christodoulou, Martin Gairing, Yiannis Giannakopoulos, Diogo Poças, Clara Waldmann

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

2019

The undirected two disjoint shortest paths problem.

Marinus Gottschau, Marcus Kaiser, Clara Waldmann

Oper. Res. Lett., 2019

Budget Minimization with Precedence Constraints.

Marinus Gottschau, Felix Happach, Marcus Kaiser, Clara Waldmann

CoRR, 2019

2017

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

Jan Kretínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017