Research papers/Testing and correctness - Revision history

Russo: Adding new paper to the security section

Russo — Wed, 13 Jul 2011 21:18:29 GMT

Adding new paper to the security section

Russo — Mon, 16 May 2011 08:43:50 GMT

Added link to the security section about a recent work that I did.

Simonpj — Tue, 03 Feb 2009 08:27:05 GMT

Verifying Haskell programs

Simonpj — Tue, 03 Feb 2009 08:26:37 GMT

Verifying Haskell programs

Henk-Jan van Tuyl — Mon, 17 Nov 2008 22:15:01 GMT

Updated links

Alejandro.russo — Tue, 29 Jul 2008 09:45:18 GMT

Adding a new paper on the security section

Janis — Tue, 11 Dec 2007 16:31:19 GMT

added paper

DonStewart — Tue, 04 Sep 2007 18:04:22 GMT

Security

DonStewart — Tue, 04 Sep 2007 18:01:38 GMT

some security lattice papers

DonStewart — Sun, 03 Dec 2006 02:50:49 GMT

+paper