The Community for Technology Leaders
RSS Icon
Subscribe
2012 IEEE 25th Computer Security Foundations Symposium (2012)
Cambridge, MA USA
June 25, 2012 to June 27, 2012
ISBN: 978-0-7695-4718-3
TABLE OF CONTENTS
Papers
pp. i
pp. iii
pp. v-vii
Committees (PDF)
pp. ix-x
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
B. Blanchet , INRIA, Ecole Normale Super., Paris, France
pp. 325-339
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
Author index (PDF)
pp. 387
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool