Ben Hamlin -

Not registered as user yet

Name:Ben Hamlin

Affiliation:Portland State University

Contributions

2024

QP

Author of Lossy Effect Transformers: Reasoning about Quantum Security Loss with Relational Effect Predicates and Weakest Precondition Logic within the QP2024-track