Add new attachment

Only authorized users are allowed to upload new attachments.

List of attachments

Kind Attachment Name Size Version Date Modified Author Change note
pdf
pub.pdf 44.6 kB 2 31-Jan-2009 14:31 AdrianQuark
pdf
slides.pdf 131.0 kB 1 31-Jan-2009 14:20 AdrianQuark

This page (revision-3) was last changed on 31-Jan-2009 14:22 by JohnThywissen  

This page was created on 31-Jan-2009 14:22 by AdrianQuark

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Difference between version and

At line 1 added 4 lines
----
There have been two projects that considered SecureInformationFlow in Orc: Adrian's work below and John's work at https://www.cs.utexas.edu/~jthywiss/Secure-Information-Flow-Orc.pdf
----
Version Date Modified Size Author Changes ... Change note
3 31-Jan-2009 14:22 2.72 kB JohnThywissen to previous
2 06-May-2009 12:41 2.523 kB AdrianQuark to previous | to last
1 31-Jan-2009 14:22 2.108 kB AdrianQuark to last
« This page (revision-3) was last changed on 31-Jan-2009 14:22 by JohnThywissen