FCS-FCC 2014 - Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography

The program committee of FCS-FCC 2014 is shown below.
Pedro Adão (SQIG, IST, Lisboa)
Mario Alvim (University of Pennsylvania)
Aslan Askarov (School of Engineering and Computer Science. Harvard University)
Michael Clarkson (George Washington University) - chair
Hubert Comon-Lundh (ENS Cachan)
Veronique Cortier (CNRS, Loria)
Catalin Hritcu (INRIA Paris-Rocquencourt)
Limin Jia (Carnegie Mellon University)
Dan Kifer (Penn State)
Masoud Koleini (The George Washington University)
Ralf Kuesters (University of Trier)
Boris Köpf (IMDEA Software Institute) - chair
Matteo Maffei (Saarland University) - chair
Carroll Morgan (University of New South Wales)
Alejandro Russo (Chalmers University of Technology)
Ben Smyth (INRIA)
Pierre-Yves Strub (IMDEA Software)
Nikhil Swamy (Microsoft Research)
Tachio Terauchi (Nagoya University)
Dominique Unruh (Saarland University)
Jeffrey Vaughan (Logicblox)
Santiago Zanella-Béguelin (Microsoft Research)