• C
  • CSF
  • 2012
  • 2012 IEEE 25th Computer Security Foundations Symposium (CSF 2012)
Advanced Search 
2012 IEEE 25th Computer Security Foundations Symposium (CSF 2012)
Cambridge, MA USA
June 25-June 27
ISBN: 978-0-7695-4718-3
Table of Contents
Papers
D. Hedin, Chalmers Univ. of Technol., Gothenburg, Sweden
A. Sabelfeld, Chalmers Univ. of Technol., Gothenburg, Sweden
pp. 3-18
J. A. Vaughan, Univ. of California Los Angeles, Los Angeles, CA, USA
T. Millstein, Univ. of California Los Angeles, Los Angeles, CA, USA
pp. 19-29
M. Balliu, Sch. of Comput. Sci. & Commun., KTH R. Inst. of Technol., Stockholm, Sweden
M. Dam, Sch. of Comput. Sci. & Commun., KTH R. Inst. of Technol., Stockholm, Sweden
Gurvan Le Guernic, Sch. of Comput. Sci. & Commun., KTH R. Inst. of Technol., Stockholm, Sweden
pp. 30-44
J. C. Mitchell, Stanford Univ., Stanford, CA, USA
R. Sharma, Stanford Univ., Stanford, CA, USA
D. Stefan, Stanford Univ., Stanford, CA, USA
J. Zimmerman, Stanford Univ., Stanford, CA, USA
pp. 45-60
A. Pankova, Inst. of Comput. Sci., Univ. of Tartu, Tartu, Estonia
P. Laud, Cybernetica AS, Tartu, Estonia
pp. 63-77
B. Schmidt, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
S. Meier, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
C. Cremers, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
D. Basin, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
pp. 78-94
M. Arapinis, Sch. of Comput. Sci., Univ. of Birmingham, Birmingham, UK
V. Cheval, LSV, INRIA Saclay, Cachan, France
S. Delaune, LSV, INRIA Saclay, Cachan, France
pp. 95-109
A. L. Ferrara, Univ. of Bristol, Bristol, UK
P. Madhusudan, Univ. of Illinois, Urbana, IL, USA
G. Parlato, Univ. of Southampton, Southampton, UK
pp. 113-125
M. Bugliesi, DAIS, Univ. Ca' Foscari, Venezia, Italy
S. Calzavara, DAIS, Univ. Ca' Foscari, Venezia, Italy
R. Focardi, DAIS, Univ. Ca' Foscari, Venezia, Italy
M. Squarcina, DAIS, Univ. Ca' Foscari, Venezia, Italy
pp. 126-138
V. Genovese, Univ. of Luxembourg, Luxembourg, Luxembourg
D. Garg, Max Planck Inst. for Software Syst., Germany
D. Rispoli, Univ. of Torino, Turin, Italy
pp. 139-153
P. Agten, IBBT-DistriNet, Katholieke Univ., Leuven, Belgium
R. Strackx, IBBT-DistriNet, Katholieke Univ., Leuven, Belgium
B. Jacobs, IBBT-DistriNet, Katholieke Univ., Leuven, Belgium
F. Piessens, IBBT-DistriNet, Katholieke Univ., Leuven, Belgium
pp. 171-185
G. Barthe, IMDEA Software Inst., Madrid, Spain
G. Betarte, Fac. de Ing., Univ. de la Republica, Montevideo, Uruguay
J. D. Campo, Fac. de Ing., Univ. de la Republica, Montevideo, Uruguay
C. Luna, Fac. de Ing., Univ. de la Republica, Montevideo, Uruguay
pp. 186-197
R. Kusters, Univ. of Trier, Trier, Germany
T. Truderung, Univ. of Trier, Trier, Germany
J. Graf, KIT, Karlsruhe, Germany
pp. 198-212
C. Sprenger, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
D. Basin, Inst. of Inf. Security, ETH Zurich, Zurich, Switzerland
pp. 230-246
M. S. Alvim, Univ. of Pennsylvania, Philadelphia, PA, USA
K. Chatzikokolakis, INRIA, Ecole Polytech., Palaiseau, France
C. Palamidessi, INRIA, Ecole Polytech., Palaiseau, France
G. Smith, Florida Int. Univ., Miami, FL, USA
pp. 265-279
P. Malacaria, Sch. of Electron. Eng. & Comput. Sci., Queen Mary Univ. of London, London, UK
F. Smeraldi, Sch. of Electron. Eng. & Comput. Sci., Queen Mary Univ. of London, London, UK
pp. 280-290
W. Rafnsson, Dept. of Comput. Sci. & Eng., Chalmers Univ. of Technol., Gothenburg, Sweden
D. Hedin, Dept. of Comput. Sci. & Eng., Chalmers Univ. of Technol., Gothenburg, Sweden
A. Sabelfeld, Dept. of Comput. Sci. & Eng., Chalmers Univ. of Technol., Gothenburg, Sweden
pp. 293-307
M. Daubignard, Univ. of Grenoble (UJF), Verimag, France
P. Fouque, Ecole normale Super., INRIA Rennes, Rennes, France
Y. Lakhnech, Univ. of Grenoble (UJF), Verimag, France
pp. 340-353
M. Backes, Saarland Univ., Saarbrucken, Germany
G. Barthe, IMDEA Software Inst., Madrid, Spain
M. Berg, Saarland Univ., Saarbrucken, Germany
B. Gregoire, INRIA Sophia Antipolis-Mediterranee, Sophia-Antipolis, France
C. Kunz, Univ. Politec. de Madrid, Madrid, Spain
M. Skoruppa, Saarland Univ., Saarbrucken, Germany
pp. 354-368
M. Backes, Saarland Univ., Saarbrucken, Germany
I. Goldberg, Univ. of Waterloo, Waterloo, ON, Canada
A. Kate, MPI-SWS, Saarbrucken, Germany
E. Mohammadi, Saarland Univ., Saarbrucken, Germany
pp. 369-385
Usage of this product signifies your acceptance of the Terms of Use.