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

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2014) Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations.
Journal of Computer Security, 22 (2). pp. 301-353.

[img] Text
JCS-130493 - Published Version

Download (55kB)

Actions

Actions (login required)

View Item View Item