funsec mailing list archives
[ proof checking ] [ safer software ] [???]
From: Arun Koshy <arunkoshy () gmail com>
Date: Sat, 15 Aug 2009 14:41:48 +1000
check : http://ertos.nicta.com.au/research/l4.verified/ media etc : http://www.theengineer.co.uk/Articles/312631/Safer+software.htm Of course, the work is based on a set of interesting assumptions and fairly delimited universe ( given the understandable need to restrict scope ). Comments anyone ? _______________________________________________ Fun and Misc security discussion for OT posts. https://linuxbox.org/cgi-bin/mailman/listinfo/funsec Note: funsec is a public and open mailing list.
Current thread:
- [ proof checking ] [ safer software ] [???] Arun Koshy (Aug 14)