Justin Hsu

Liftings for Differential Privacy

2017 · HAL (Le Centre pour la Communication Scientifique Directe)

International audience

Relational proofs for quantum programs

2020 · UTS ePRESS (University of Technology Sydney)

© 2020 Copyright held by the owner/author(s). Relational verification of quantum programs has many potential applications in quantum and post-quantum security and other domains. We propose a relational program logic for quantum programs. The interpretation …

A Bunched Logic for Conditional Independence

2021

Independence and conditional independence are fundamental concepts for reasoning about groups of random variables in probabilistic programs. Verification methods for independence are still nascent, and existing methods cannot handle conditional independence. We extend the logic …