Semi-Axiomatic Sequent Calculus. - Henry DeYoung; Frank Pfenning; Klaas Pruiksma (FSCD, 2020)

A message-passing interpretation of adjoint logic. - Klaas Pruiksma; Frank Pfenning (J. Log. Algebraic Methods Program., 2021)

Back to futures. - Klaas Pruiksma; Frank Pfenning (J. Funct. Program., 2022)

Relating Message Passing and Shared Memory, Proof-Theoretically. - Frank Pfenning; Klaas Pruiksma (COORDINATION, 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 (ESORICS (3), 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 (IACR Cryptol. ePrint Arch., 2023)

Adjoint Logic with Applications - Klaas Pruiksma (2024)