FMS 2014 - 5th Int. Workshop on Formal Methods for Security (FMS)

Systems and applications' security require formal proofs of correctness in order to achieve certification. Applications must be formally specified and proven to respect their specifications. The main scope of the workshop is to propose methods and techniques for constructing secure systems. We particularly welcome papers on techniques, tools and applications of formal methods (eg. timed automata, Petri nets, timed Petri nets, Process algebra, Logics...) for security.
The workshop will bring together academic and industry R&D researchers, in order to exchange ideas, discuss their research findings, and explore potential collaborations to provide solutions based on formal methods for developing secure systems and protocols.
Topics
We seek original research papers addressing issues in formal methods for security. We solicit contributions on the following (but not limited to) topics:
Specification and verification of security issues (Automata, Petri nets, Process algebra, Logics, Equivalence checking...)
Electronic voting
Security and privacy
Cryptographic protocols
Hardware and embedded systems
Probabilistic and real-time systems
Tools for security protocols verification