A monadic framework for relational verification: applied to information security, program equivalence, and optimizations.
Niklas GrimmKenji MaillardCédric FournetCatalin HritcuMatteo MaffeiJonathan ProtzenkoTahina RamananandroAseem RastogiNikhil SwamySantiago Zanella BéguelinPublished in: CPP (2018)