FAST 2008: Malaga, Spain

• Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin:
  Formal Certification of ElGamal Encryption. 1-19
  Electronic Edition (link) BibTeX
• Gérard Boudol:
  Secure Information Flow as a Safety Property. 20-34
  Electronic Edition (link) BibTeX
• Alexander Lux, Heiko Mantel:
  Who Can Declassify?. 35-49
  Electronic Edition (link) BibTeX
• David Clark, Sebastian Hunt:
  Non-Interference for Deterministic Interactive Programs. 50-66
  Electronic Edition (link) BibTeX
• Heiko Mantel, Henning Sudbrock:
  Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels. 67-81
  Electronic Edition (link) BibTeX
• Dominic Duggan, Ye Wu:
  Causality and Accountability. 82-96
  Electronic Edition (link) BibTeX
• Dusko Pavlovic:
  Dynamics, Robustness and Fragility of Trust. 97-113
  Electronic Edition (link) BibTeX
• Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi:
  Trust within the Context of Organizations: A Formal Approach. 114-128
  Electronic Edition (link) BibTeX
• Fred Spiessens, Jerry den Hartog, Sandro Etalle:
  Know What You Trust. 129-142
  Electronic Edition (link) BibTeX
• Wiebren de Jonge, Bart Jacobs:
  Privacy-Friendly Electronic Traffic Pricing via Commits. 143-161
  Electronic Edition (link) BibTeX
• Daniel Le Métayer:
  A Formal Privacy Management Framework. 162-176
  Electronic Edition (link) BibTeX
• Jan Friso Groote, Simona Orzan:
  Parameterised Anonymity. 177-191
  Electronic Edition (link) BibTeX
• Francis Klay, Laurent Vigneron:
  Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder. 192-209
  Electronic Edition (link) BibTeX
• Simone Frau, Roberto Gorrieri, Carlo Ferigato:
  Petri Net Security Checker: Structural Non-interference at Work. 210-225
  Electronic Edition (link) BibTeX
• Rob Verhoeven, Francien Dechesne:
  Verifying Multi-party Authentication Using Rank Functions and PVS. 226-241
  Electronic Edition (link) BibTeX
• James Heather, David Lundin:
  The Append-Only Web Bulletin Board. 242-256
  Electronic Edition (link) BibTeX
• Elsa L. Gunter, Ayesha Yasmeen:
  Secure Broadcast Ambients. 257-271
  Electronic Edition (link) BibTeX
• Elie Bursztein:
  Extending Anticipation Games with Location, Penalty and Timeline. 272-286
  Electronic Edition (link) BibTeX
• Nataliia Bielova, Fabio Massacci:
  Do You Really Mean What You Actually Enforced?. 287-301
  Electronic Edition (link) BibTeX
• Isaac Agudo, M. Carmen Fernández Gago, Javier Lopez:
  Delegating Privileges over Finite Resources: A Quota Based Delegation Approach. 302-315
  Electronic Edition (link) BibTeX
• Ariel Cohen, Ron van der Meyden, Lenore D. Zuck:
  Access Control and Information Flow in Transactional Memory. 316-330
  Electronic Edition (link) BibTeX