research
∙
02/09/2022
An algebra of alignment for relational verification
Relational verification encompasses information flow security, regressio...
share
research
∙
05/02/2019
Typed-based Relaxed Noninterference for Free
Despite the clear need for specifying and enforcing information flow pol...
research
∙
12/26/2018
