43 citations · 170 across the 19 of their papers we have counts for
1 paper · 2 filters
Gilles Barthe, Renate Eilers, Pamina Georgiou +3
We present a logical framework for the verification of relational properties in imperative programs. Our work is motivated by relational properties which come from security applica…