Venfying Pufferfish Privacy in Hidden Markov Models

von Liu, Depeng
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver

von Shi, Xiaomu
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)