Publication Overview

Michael Backes and Cătălin Hriţcu and Matteo Maffei

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

Published in: Special issue of the Journal of Computer Security (JCS) for TOSCA-SecCo
Year: 2013