FAST 2011: Leuven, Belgium

Gilles Barthe, Anupam Datta, Sandro Etalle (Eds.): Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7140 Springer 2012, ISBN 978-3-642-29419-8

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/AizatulinDGJ11
- ask others
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. 1-20
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/GroefDP11
- ask others
Willem De Groef, Dominique Devriese, Frank Piessens: Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. 21-38
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/AlvimACDP11
- ask others
Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi: Differential Privacy: On the Trade-Off between Utility and Information Leakage. 39-54
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/BelloB11
- ask others
Luciano Bello, Eduardo Bonelli: On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow. 55-69
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/EspinozaS11
- ask others
Barbara Espinoza, Geoffrey Smith: Min-Entropy Leakage of Channels in Cascade. 70-84
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/FocardiL11
- ask others
Riccardo Focardi, Flaminia L. Luccio: Secure Recharge of Disposable RFID Tickets. 85-99
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/FoleyA11
- ask others
Simon N. Foley, Samane Abdi: Avoiding Delegation Subterfuge Using Linked Local Permission Names. 100-114
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/FontaineHS11
- ask others
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl: Verifiable Control Flow Policies for Java Bytecode. 115-130
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/FroschleS11
- ask others
Sibylle B. Fröschle, Nils Sommer: Concepts and Proofs for Configuring PKCS#11. 131-147
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/GayMS11
- ask others
Richard Gay, Heiko Mantel, Barbara Sprick: Service Automata. 148-163
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/Gibson-RobinsonL11
- ask others
Thomas Gibson-Robinson, Gavin Lowe: Analysing Applications Layered on Unilaterally Authenticating Protocols. 164-181
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/GrabowskiHL11
- ask others
Robert Grabowski, Martin Hofmann, Keqin Li: Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. 182-197
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/HinrichsGLSM11
- ask others
Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell: TBA : A Hybrid of Logic and Extensional Access Control Systems. 198-213
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/Modersheim11
- ask others
Sebastian Mödersheim: Diffie-Hellman without Difficulty. 214-229
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/SattarzadehF11
- ask others
Behnam Sattarzadeh, Mehran S. Fallah: Is Cryptyc Able to Detect Insider Attacks? 230-244
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/SmythRC11
- ask others
Ben Smyth, Mark Ryan, Liqun Chen: Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. 245-262
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip1-7/DashtiCW11
- ask others
Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang: Risk Balance in Optimistic Non-repudiation Protocols. 263-277