Simon's papers (and other stuff) page

Publications

• On the Synthesis of Proof-Carrying Temporal Reference Monitors . Simon Winwood, Gerwin Klein, and Manuel Chakravarty. In Proceedings of LOPSTR'06, Venice, Italy, 2006.
• Secure Untrusted Binaries --- Provably!. Simon Winwood and Manuel Chakravarty. In Proceedings of FAST'05, Newcastle, England, 2005.

Talk slides

• Core in LF (AFP 2004). Mostly about Core and various lambda calculi (also in 4 slides per page).

Reports

• 2004 PhD review report. Describes my project and some work I have done for my second review.