1. Home
  2. Proceedings
  3. CSF
  4. CSF 2010
Default Cover Image

2010 23rd IEEE Computer Security Foundations Symposium

July 17 2010 to July 19 2010

Edinburgh

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-vii
PrefaceFreely available from IEEE.pp. viii-viii
CommitteesFreely available from IEEE.pp. ix-x
list-reviewerFreely available from IEEE.pp. xi-xi
Approximation and Randomization for Quantitative Information-Flow AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 3-14
by Boris Köpf, Andrey Rybalchenko
Quantitative Information Flow - Verification Hardness and PossibilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 15-27
by Hirotoshi Yasuoka, Tachio Terauchi
Quantification of IntegrityFull-text access may be available. Sign in or learn about subscription options.pp. 28-43
by Michael R. Clarkson, Fred B. Schneider
Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 44-56
by Boris Köpf, Geoffrey Smith
Modeling and Verifying Ad Hoc Routing ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 59-74
by Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Formal Verification of Privacy for RFID SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 75-88
by Mayla Brusó, Konstantinos Chatzikokolakis, Jerry den Hartog
Robustness Guarantees for AnonymityFull-text access may be available. Sign in or learn about subscription options.pp. 91-106
by Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi
Analysing Unlinkability and Anonymity Using the Applied Pi CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 107-121
by Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
A Game-Based Definition of Coercion-Resistance and Its ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 122-136
by Ralf Küsters, Tomasz Truderung, Andreas Vogt
Towards Quantitative Analysis of Proofs of Authorization: Applications, Framework, and TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 139-153
by Adam J. Lee, Ting Yu
Constraining Credential Usage in Logic-Based Access ControlFull-text access may be available. Sign in or learn about subscription options.pp. 154-168
by Lujo Bauer, Limin Jia, Divya Sharma
Information Flow in Credential SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 171-185
by Moritz Y. Becker
Dynamic vs. Static Flow-Sensitive Security AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 186-199
by Alejandro Russo, Andrei Sabelfeld
Information Flow Monitor InliningFull-text access may be available. Sign in or learn about subscription options.pp. 200-214
by Andrey Chudnov, David A. Naumann
Required Information ReleaseFull-text access may be available. Sign in or learn about subscription options.pp. 215-227
by Stephen Chong
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security ProofsFull-text access may be available. Sign in or learn about subscription options.pp. 231-245
by Simon Meier, Cas Cremers, David Basin
A Machine-Checked Formalization of Sigma-ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 246-260
by Gilles Barthe, Daniel Hedin, Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud
Impossibility Results for Secret EstablishmentFull-text access may be available. Sign in or learn about subscription options.pp. 261-273
by Benedikt Schmidt, Patrick Schaller, David Basin
A Framework for the Sound Specification of Cryptographic TasksFull-text access may be available. Sign in or learn about subscription options.pp. 277-289
by Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou
Towards a Formal Foundation of Web SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 290-304
by Devdatta Akhawe, Adam Barth, Peifung E. Lam, John Mitchell, Dawn Song
Automating Open Bisimulation Checking for the Spi CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 307-321
by Alwen Tiu, Jeremy Dawson
Protocol Composition for Arbitrary PrimitivesFull-text access may be available. Sign in or learn about subscription options.pp. 322-336
by Stefan Ciobâca, Véronique Cortier
On Protection by Layout RandomizationFull-text access may be available. Sign in or learn about subscription options.pp. 337-351
by Martín Abadi, Gordon Plotkin
Author indexFreely available from IEEE.pp. 353-353
[Publisher's information]Freely available from IEEE.pp. 354-354
Showing 32 out of 32