Klaas Pruiksma

Orcid: 0000-0002-6032-087X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The Grant Negotiation and Authorization Protocol: Attacking, Fixing, and Verifying an Emerging Standard.
IACR Cryptol. ePrint Arch., 2023

Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch., 2023

Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
Proceedings of the Computer Security - ESORICS 2023, 2023

Relating Message Passing and Shared Memory, Proof-Theoretically.
Proceedings of the Coordination Models and Languages, 2023

2022
Back to futures.
J. Funct. Program., 2022

2021
A message-passing interpretation of adjoint logic.
J. Log. Algebraic Methods Program., 2021

2020
Semi-Axiomatic Sequent Calculus.
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020


  Loading...