• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 132 matches

• 2012
• 
  Gilles Barthe, Anupam Datta, Sandro Etalle:
  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 [contents]
• 2011
• 
  Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens:
  Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust 2011: 1-20
• 
  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. Formal Aspects in Security and Trust 2011: 39-54
• 
  Luciano Bello, Eduardo Bonelli:
  On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow. Formal Aspects in Security and Trust 2011: 55-69
• 
  Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang:
  Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust 2011: 263-277
• 
  Barbara Espinoza, Geoffrey Smith:
  Min-Entropy Leakage of Channels in Cascade. Formal Aspects in Security and Trust 2011: 70-84
• 
  Riccardo Focardi, Flaminia L. Luccio:
  Secure Recharge of Disposable RFID Tickets. Formal Aspects in Security and Trust 2011: 85-99
• 
  Simon N. Foley, Samane Abdi:
  Avoiding Delegation Subterfuge Using Linked Local Permission Names. Formal Aspects in Security and Trust 2011: 100-114
• 
  Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl:
  Verifiable Control Flow Policies for Java Bytecode. Formal Aspects in Security and Trust 2011: 115-130
• 
  Sibylle B. Fröschle, Nils Sommer:
  Concepts and Proofs for Configuring PKCS#11. Formal Aspects in Security and Trust 2011: 131-147
• 
  Richard Gay, Heiko Mantel, Barbara Sprick:
  Service Automata. Formal Aspects in Security and Trust 2011: 148-163
• 
  Thomas Gibson-Robinson, Gavin Lowe:
  Analysing Applications Layered on Unilaterally Authenticating Protocols. Formal Aspects in Security and Trust 2011: 164-181
• 
  Robert Grabowski, Martin Hofmann, Keqin Li:
  Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. Formal Aspects in Security and Trust 2011: 182-197
• 
  Willem De Groef, Dominique Devriese, Frank Piessens:
  Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. Formal Aspects in Security and Trust 2011: 21-38
• 
  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. Formal Aspects in Security and Trust 2011: 198-213
• 
  Sebastian Mödersheim:
  Diffie-Hellman without Difficulty. Formal Aspects in Security and Trust 2011: 214-229
• 
  Behnam Sattarzadeh, Mehran S. Fallah:
  Is Cryptyc Able to Detect Insider Attacks? Formal Aspects in Security and Trust 2011: 230-244
• 
  Ben Smyth, Mark Ryan, Liqun Chen:
  Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. Formal Aspects in Security and Trust 2011: 245-262
• 
  Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman:
  Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6561, Springer 2011, ISBN 978-3-642-19750-5 [contents]
• 2010
• 
  Francesco Ballardin, Massimo Merro:
  A Calculus for the Analysis of Wireless Network Security Protocols. Formal Aspects in Security and Trust 2010: 206-222
• 
  Bruno Conchinha, David A. Basin, Carlos Caleiro:
  Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust 2010: 34-49
• 
  Jason Crampton:
  Cryptographic Enforcement of Role-Based Access Control. Formal Aspects in Security and Trust 2010: 191-205
• 
  Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel:
  A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust 2010: 111-125
• 
  Naipeng Dong, Hugo L. Jonker, Jun Pang:
  Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus. Formal Aspects in Security and Trust 2010: 223-238
• 
  Sibylle B. Fröschle, Nils Sommer:
  Reasoning with Past to Prove PKCS#11 Keys Secure. Formal Aspects in Security and Trust 2010: 96-110
• 
  Clément Hurlin, Hélène Kirchner:
  Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. Formal Aspects in Security and Trust 2010: 157-175
• 
  Allaa Kamil, Gavin Lowe:
  Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust 2010: 50-64
• 
  Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov:
  Bounded Memory Dolev-Yao Adversaries in Collaborative Systems. Formal Aspects in Security and Trust 2010: 18-33
• 
  Raphaël Khoury, Nadia Tawbi:
  Corrective Enforcement of Security Policies. Formal Aspects in Security and Trust 2010: 176-190
• 
  Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer:
  Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust 2010: 80-95

skipping 102 more matches