DMCA

Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Secure Protocol Implementations (2012)

by Michael Backes , Catalin Hritcu , Matteo Maffei