Benjamin C. Pierce

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Micro-Policies: Formally Verified, Tag-Based Security Monitors

Arthur Azevedo de Amorim and others (2015) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan and others (2015) · ACM

PUMP: a programmable unit for metadata processing

Udit Dhawan and others (2014) · HASP 2014: Proceedings of the Third Workshop on Hardware and Architectural Support for Security and Privacy

Mechanized Metatheory for the Masses: The PoplMark Challenge

Brian E. Aydemir and others (2005) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg

Types and Programming Languages

Benjamin C. Pierce (2002) · MIT Press