kernelSec
.:Software:.
We used kernelSec at UIC in CS 587, Computer Systems Security in Fall, 2006, thus entering into alpha testing. We plan to have a software release in 2007.
.
- November 2006, Poster and demo at Operating System Design and Implementation in Seattle (Radhakrishnan)
- September 2006, Poster at the Midwest Security Workshop in Urbana-Champlain (Radhakrishnan)
- August 2006 poster as Usenix Security (Radhnakrishnan)
.
- November 2006, at Georgia Institute of Technology, Atlanta (Solworth)
- November 2006, at IEEE TrustCol in Atlanta (Solworth)
- October 2006, at IWSEC in Kyoto (Dranger)
- May 2006, at the Midwest Security Workshop in Chicago (Radhakrishnan)
- April 2006, at IEEE International Workshop on Information Assurance in London (Solworth)
- March 2006, at ACM AsiaCCS in Taiwain (Solworth)
When we are ready to do a public distribution, it will be available here.