Publication Overview

Michael Backes and Catalin Hritcu and Matteo Maffei

Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Published in: Journal of Computer Security
Year: 2014
Volume: 22
Pages: 301-353