Klaas Pruiksma

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 10

Top Topics

Distributed Shared Memory

Automated Trust Negotiation

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

J. Log. Algebraic Methods Program.

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)
Frank Pfenning, Klaas Pruiksma
Relating Message Passing and Shared Memory, Proof-Theoretically. COORDINATION (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)
Klaas Pruiksma, Frank Pfenning
Back to futures. J. Funct. Program. 32 (2022)
Klaas Pruiksma, Frank Pfenning
A message-passing interpretation of adjoint logic. J. Log. Algebraic Methods Program. 120 (2021)
Klaas Pruiksma, Frank Pfenning
Back to Futures. CoRR (2020)
Henry DeYoung, Frank Pfenning, Klaas Pruiksma
Semi-Axiomatic Sequent Calculus. FSCD (2020)
Klaas Pruiksma, Frank Pfenning
A Message-Passing Interpretation of Adjoint Logic. PLACES@ETAPS (2019)