Title	Date
Software Development in Haskell	2011-08-16
Building Multilevel Secure Web Services-based Components for the Global Information Grid	2011-08-23
A Business Case for FP	2011-08-24
Cryptol Tutorial	2011-08-24
Trusted Web Server	2011-08-24
Cryptol on FPGAs	2011-09-10
A High-Assurance Partitioned Development Environment	2011-09-12
Cryptol Tutorial: Overview and Elements	2011-09-12
Cryptol Tutorial: Worked Example	2011-09-12
Specification of AIM Crypto Engines	2011-09-13
Advanced Infosec Machine Model and DSLs	2012-02-09
Formal Models of AIM	2012-02-09
Cryptol Tutorial, Overview and Elements	2012-02-15
The Role of Domain-Specific Techniques in Designed-In Security	2012-05-10