research
∙
09/07/2023
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
We consider the problem of specifying and proving the security of non-tr...
share
research
∙
07/19/2023
Alignment complete relational Hoare logics for some and all
In relational verification, judicious alignment of computational steps f...
research
∙
03/25/2023
The WhyRel Prototype for Relational Verification
Verifying relations between programs arises as a task in various verific...
research
∙
12/20/2022
Making Relational Hoare Logic Alignment Complete
In relational verification, judicious alignment of computational steps f...
research
∙
02/09/2022
An algebra of alignment for relational verification
Relational verification encompasses information flow security, regressio...
research
∙
01/27/2021
Alignment Completeness for Relational Hoare Logics
Relational Hoare logics (RHL) provide rules for reasoning about relation...
research
∙
07/13/2020
Thirty-seven years of relational Hoare logic: remarks on its principles and history
Relational Hoare logics extend the applicability of modular, deductive v...
research
∙
10/31/2019
Data Abstraction and Relational Program Logic
In a paper published in 1972 Hoare articulated the fundamental notions o...
research
∙
06/09/2019