On the Generality and Convenience of Etypes

W. Michael Petullo, Joseph Suh
May 2015
PDF
Type
Conference paper
Publication
Proceedings of the 2015 IEEE Security and Privacy Workshops
academic accepted-15 operating systems type systems formal languages recognizers LangSec