Adjoint Logic with Applications - Klaas Pruiksma (Carnegie Mellon University, USA, 2024)

Relating Message Passing and Shared Memory, Proof-Theoretically - Frank Pfenning; Klaas Pruiksma (Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, 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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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 (Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III, 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)

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

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

Semi-Axiomatic Sequent Calculus - Henry DeYoung; Frank Pfenning; Klaas Pruiksma (5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference), 2020)

Back to Futures - Klaas Pruiksma; Frank Pfenning (CoRR, 2020)

A Message-Passing Interpretation of Adjoint Logic - Klaas Pruiksma; Frank Pfenning (Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019, 2019)