A Monadic Analysis of Information-Flow Security with Mutable State
Enforcing Secrecy with Monadic Types
Abstract
The talk abstract
21 April 2006: Stevens Institute of Technology, Laboratory for Secure Systems Seminar
The talk
slides are available
(2mb, PDF).
April, 2006. Aleksey Kliger
validate CSS
validate XHTML
validate CSS