3^rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code

Workshop held in association with the 12th ACM Conference on Computer and Communications Security (CCS 2005),
Alexandria, VA, U.S.A.

• Program now online!

FMSE Home

Last updated March 10, 2005 6:00:00 PM MET