33 citations · 58 across the 5 of their papers we have counts for
1 paper · 2 filters
Niklas Grimm, Kenji Maillard, Cédric Fournet +7
Relational properties describe multiple runs of one or more programs. They characterize many useful notions of security, program refinement, and equivalence for programs with diver…