Klaas Pruiksma

According to our database, Klaas Pruiksma authored at least 7 papers between 2020 and 2023.

Collaborative distances:

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

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

IACR Cryptol. ePrint Arch., 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

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

Relating Message Passing and Shared Memory, Proof-Theoretically.

Frank Pfenning, Klaas Pruiksma

Proceedings of the Coordination Models and Languages, 2023

2022

Back to futures.

Klaas Pruiksma, Frank Pfenning

J. Funct. Program., 2022

2021

A message-passing interpretation of adjoint logic.

Klaas Pruiksma, Frank Pfenning

J. Log. Algebraic Methods Program., 2021

2020

Semi-Axiomatic Sequent Calculus.

Henry DeYoung, Frank Pfenning, Klaas Pruiksma

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020