8 citations · 8 across the 2 of their papers we have counts for
2 papers
cs.PL2025
A Hoare Logic for Symmetry Properties
Vaibhav Mehta, Justin Hsu
Many natural program correctness properties can be stated in terms of symmetries, but existing formal methods have little support for reasoning about such properties. We consider h…
cs.CR2022★ 8 cited
A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta +1
Security protocols are essential building blocks of modern IT systems. Subtle flaws in their design or implementation may compromise the security of entire systems. It is, thus, im…