• 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 38 matches

• 2011
• 
  Alessandro Armando, Gavin Lowe:
  Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6186, Springer 2011, ISBN 978-3-642-16073-8 [contents]
• 2010
• 
  Michele Bugliesi, Stefano Calzavara, Damiano Macedonio:
  Secrecy and Authenticity Types for Secure Distributed Messaging. ARSPA-WITS 2010: 23-40
• 
  Michele Bugliesi, Paolo Modesti:
  AnBx - Security Protocols Design and Verification. ARSPA-WITS 2010: 164-184
• 
  Matteo Centenaro, Riccardo Focardi:
  Match It or Die: Proving Integrity by Equality. ARSPA-WITS 2010: 130-145
• 
  Gabriele Costa, Pierpaolo Degano, Fabio Martinelli:
  Modular Plans for Secure Service Composition. ARSPA-WITS 2010: 41-58
• 
  Trajce Dimkov, Wolter Pieters, Pieter H. Hartel:
  Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. ARSPA-WITS 2010: 112-129
• 
  Andrea Falcone, Riccardo Focardi:
  Formal Analysis of Key Integrity in PKCS#11. ARSPA-WITS 2010: 77-94
• 
  Riccardo Focardi, Flaminia L. Luccio:
  Secure Upgrade of Hardware Security Modules in Bank Networks. ARSPA-WITS 2010: 95-110
• 
  Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala:
  Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22
• 
  Flemming Nielson, Han Gao, Hanne Riis Nielson:
  The CaPiTo Approach to Protocol Validation - (Invited Talk). ARSPA-WITS 2010: 1
• 
  Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés:
  Interactive Information Flow - (Invited Talk). ARSPA-WITS 2010: 111
• 
  Mário Pires, Luís Caires:
  A Type System for Access Control Views in Object-Oriented Languages. ARSPA-WITS 2010: 59-76
• 
  Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh:
  Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS 2010: 146-163
• 2009
• 
  Adedayo Adetoye, Atta Badii:
  A Policy Model for Secure Information Flow. ARSPA-WITS 2009: 1-17
• 
  Alessandro Aldini, Marco Bernardo:
  A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS 2009: 18-33
• 
  Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna:
  Validating Security Protocols under the General Attacker. ARSPA-WITS 2009: 34-51
• 
  Massimo Bartoletti:
  Usage Automata. ARSPA-WITS 2009: 52-69
• 
  Chiara Bodei, Linda Brodo, Roberto Bruni:
  Static Detection of Logic Flaws in Service-Oriented Applications. ARSPA-WITS 2009: 70-87
• 
  Niklas Broberg, David Sands:
  Improving the Semantics of Imperfect Security. ARSPA-WITS 2009: 88-91
• 
  Sibylle B. Fröschle, Graham Steel:
  Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data. ARSPA-WITS 2009: 92-106
• 
  Joshua D. Guttman:
  Transformations between Cryptographic Protocols. ARSPA-WITS 2009: 107-123
• 
  Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos:
  Formal Validation of OFEPSP+ with AVISPA. ARSPA-WITS 2009: 124-137
• 
  Dieter Hutter, Raúl Monroy:
  On the Automated Correction of Protocols with Improper Message Encoding. ARSPA-WITS 2009: 138-154
• 
  Jan Jürjens, Tjark Weber:
  Finite Models in FOL-Based Crypto-Protocol Verification. ARSPA-WITS 2009: 155-172
• 
  Gavin Keighren, David Aspinall, Graham Steel:
  Towards a Type System for Security APIs. ARSPA-WITS 2009: 173-192
• 
  Laurent Mazaré, Bogdan Warinschi:
  Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. ARSPA-WITS 2009: 193-210
• 
  Peter Y. A. Ryan:
  How Many Election Officials Does It Take to Change an Election? ARSPA-WITS 2009: 211-221
• 
  Pierpaolo Degano, Luca Viganò:
  Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5511, Springer 2009, ISBN 978-3-642-03458-9 [contents]
• 2005
• 
  Adam Barth, John C. Mitchell:
  Enterprise privacy promises and enforcement. WITS 2005: 58-66
• 
  Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari:
  Policy framings for access control. WITS 2005: 5-11

skipping 8 more matches