Saw this article: http://cordis.europa.eu/ictresults/popup.cfm?section=news&tpl=article&ID=89864&AutoPrint=True, and was wondering if anyone on this list knows anything about the project or Dr Bengt Nordström at Chalmers University in Göteborg Sweden. Sounds to me like they're reinventing all the old formal methods / provable code stuff - but perhaps I'm wrong. Thoughts?
--Jeremy
_______________________________________________ Secure Coding mailing list (SC-L) SC-L@securecoding.org List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l List charter available at - http://www.securecoding.org/list/charter.php SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com) as a free, non-commercial service to the software security community. _______________________________________________