16th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2014)

Track: Formal Methods, Safety, and Security

Track Chair:

• Borzoo Bonakdarpour, University of Waterloo, Canada

Track Members:

• Fei Chen, BloomReach, USA
• Felix Freiling, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany
• Urs Hengartner, University of Waterloo, Canada
• Sandeep Kulkrani, Michigan State University, USA
• Victor Luchangco, Oracle Labs, USA
• Tom Maibaum, McMaster University, Canada
• Stephan Merz, INRIA-Nancy, France
• Rei Safavi-Naini, University of Calgary, Canada
• Oleg Sokolsky, University of Pennsylvania, USA
• Mark Tuttle, Intel, USA
• Helmut Veith, Technical University of Vienna, Austria