9 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
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…