23. CSF 2010: Edinburgh, United Kingdom

• Boris Köpf, Andrey Rybalchenko:
  Approximation and Randomization for Quantitative Information-Flow Analysis. 3-14
  
• Hirotoshi Yasuoka, Tachio Terauchi:
  Quantitative Information Flow - Verification Hardness and Possibilities. 15-27
  
• Michael R. Clarkson, Fred B. Schneider:
  Quantification of Integrity. 28-43
  
• Boris Köpf, Geoffrey Smith:
  Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks. 44-56
  
• Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
  Modeling and Verifying Ad Hoc Routing Protocols. 59-74
  
• Mayla Brusò, Konstantinos Chatzikokolakis, Jerry den Hartog:
  Formal Verification of Privacy for RFID Systems. 75-88
  
• Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi:
  Robustness Guarantees for Anonymity. 91-106
  
• Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan:
  Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. 107-121
  
• Ralf Küsters, Tomasz Truderung, Andreas Vogt:
  A Game-Based Definition of Coercion-Resistance and Its Applications. 122-136
  
• Adam J. Lee, Ting Yu:
  Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and Techniques. 139-153
  
• Lujo Bauer, Limin Jia, Divya Sharma:
  Constraining Credential Usage in Logic-Based Access Control. 154-168
  
• Moritz Y. Becker:
  Information Flow in Credential Systems. 171-185
  
• Alejandro Russo, Andrei Sabelfeld:
  Dynamic vs. Static Flow-Sensitive Security Analysis. 186-199
  
• Andrey Chudnov, David A. Naumann:
  Information Flow Monitor Inlining. 200-214
  
• Stephen Chong:
  Required Information Release. 215-227
  
• Simon Meier, Cas J. F. Cremers, David A. Basin:
  Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs. 231-245
  
• Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud:
  A Machine-Checked Formalization of Sigma-Protocols. 246-260
  
• Benedikt Schmidt, Patrick Schaller, David A. Basin:
  Impossibility Results for Secret Establishment. 261-273
  
• Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou:
  A Framework for the Sound Specification of Cryptographic Tasks. 277-289
  
• Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell, Dawn Song:
  Towards a Formal Foundation of Web Security. 290-304
  
• Alwen Tiu, Jeremy E. Dawson:
  Automating Open Bisimulation Checking for the Spi Calculus. 307-321
  
• Stefan Ciobaca, Véronique Cortier:
  Protocol Composition for Arbitrary Primitives. 322-336
  
• Martín Abadi, Gordon D. Plotkin:
  On Protection by Layout Randomization. 337-351
  

Last update Wed May 22 23:08:25 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page