Aleksey Kliger

A monadic analysis of information flow security with mutable state

Frank Pfenning, Karl Crary, Aleksey Kliger, 2005, J. Funct. Program..

SAFE: A clean-slate architecture for secure systems

Benjamin C. Pierce, Howard Reubenstein, Andre DeHon, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).

A monadic analysis of info flow security with mutable state

Frank Pfenning, Karl Crary, Aleksey Kliger, 2004 .