This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on
Foundations and Practice of Security FPS 2014 held in Montreal QC Canada in November 2014.
The 18 revised full papers presented together with 5 short papers and 2 position papers were
carefully reviewed and selected from 48 submissions. The papers are organized in topical
sections on privacy software security and malware analysis network security and protocols
access control models and policy analysis protocol verification and cryptographic
technologies.
