(Talk) Redesigning the Computer for Security

By Tom Hawkins
Date: 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)).

Tom’s talk was on the various uses of functional programming languages and concepts in the myriad of tools and implementation efforts on the CRASH SAFE project.

Video on youtube