Papers from the SAFE project
-
Architectural Support for Software-Defined Metadata Processing - March 15, 2015
Accepted into 20th International Conference on Architectural Support for Programming Languages and Operating Systems, March 14-18, 2015, Istanbul, Turkey.
-
Area-Efficient Near-Associative Memories on FPGAs - January 1, 2015
ACM Transactions on Reconfigurable Technology and Systems (TRETS) , Volume 7, Number 4, DOI: 10.1145/2629471, January, 2015.
-
PUMP: A Programmable Unit for Metadata Processing - June 15, 2014
Proceedings of the 3rd International Workshop on Hardware and Architectural Support for Security and Privacy, June 15, 2014, Minneapolis, MN USA.
-
A Verified Information-Flow Architecture - January 1, 2014
In 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Diego, CA USA. January 22, 2014.
-
SAFE: A Clean-Slate Architecture for Secure Systems - November 13, 2013
Presented at the IEEE International Conference on Technologies for Homeland Security (HST), November 2013, Waltham, MA USA.
-
Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security - November 6, 2013
In the proceedings of the 20th ACM Conference on Computer and Communications Security, November 6, 2013, Berlin, Germany.
-
Testing Noninterference, Quickly - September 27, 2013
In 18th ACM SIGPLAN International Conference on Functional Programming (ICFP). pages 455-468, ACM. September 27, 2013, Boston, MA USA.
-
(Talk) Redesigning the Computer for Security - September 22, 2013
Tom Hawkins gave a talk at the Commercial Users of Functional Programming (CUFP) 2013 workshop (affiliated with International Conference on Functional Programming (ICFP)).
-
A Theory of Information-Flow Labels - June 26, 2013
In IEEE 26th Computer Security Foundations Symposium (CSF). June 26, 2013, New Orleans, LA USA.
-
All Your IFCException Are Belong To Us - May 20, 2013
In 34th IEEE Symposium on Security and Privacy (Oakland), pages 3-17, IEEE Computer Society Press, May 20, 2013, San Francisco, CA USA.
-
Area-Efficient Near-Associative Memories on FPGAs - February 13, 2013
In [FPGA ’13, the 21st ACM/SIGDA International Symposium on Field-Programmable Gate Arrays] (http://fpganetworks.org/FPGA2013/), February 13, 2013, Monterey, CA, USA.
-
Hardware Support for Safety Interlocks and Introspection - September 14, 2012
In Adapative Host and Network Security Workshop of SASO 2013, September 14, 2012.
-
Verification Challenges of Pervasive Information Flow - January 25, 2012
Slides from invited talk given by Benjamin C. Pierce at the Programming Languages Meets Program Verification (PLPV) workshop at POPL 2012.
-
Preliminary Design of the SAFE Platform - October 23, 2011
Presented at 6th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 23, 2011.
-
SAFE Proposal Extract - July 20, 2010
In the SAFE project, we propose a clean-slate design of a secure computing system. We propose tagged hardware, formally verified safety properties, fine-grained checking, and a design based on least privilege, mutual suspicion, and defense in depth.