Fang Song -

Not registered as user

Name:Fang Song

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