publication venue for
- Historia: Refuting Callback Reachability with Message-History Logics 2023
- Verifying Indistinguishability of Privacy-Preserving Protocols 2023
- Mergeable Replicated Data Types 2019
- Static Analysis with Demand-Driven Value Refinement 2019
- Safe Replication through Bounded Concurrency Verification 2018 ... more