14 citations · 17 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022★ 1 cited
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP prog…
cs.CR2022
Privacy accounting conomics: Improving differential privacy composition via a posteriori bounds
Valentin Hartmann, Vincent Bindschaedler, Alexander Bentkamp +1
Differential privacy (DP) is a widely used notion for reasoning about privacy when publishing aggregate data. In this paper, we observe that certain DP mechanisms are amenable to a…