Hi all,

Seeing that formal methods have been used to prove aspects of system security, I
thought that some members might be interested in the 5th IEEE SEFM conference,
which will be held on 12-14 September in London.

The conference program (http://www.iist.unu.edu/SEFM07/programme.html) includes
papers on the following:

 Verifying the Mondex Case Study (verifying that a smart card money-exchange
protocol is secure)

 Recovery from DoS Attacks in MIPv6

 Verification of C Programs Using Automated Reasoning (my own paper - includes
absence of buffer overflow)

See http://www.iist.unu.edu/SEFM07 for more details.


David Crocker, Escher Technologies Ltd.
Consultancy, contracting and tools for dependable software development

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.

Reply via email to