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

• 2006
• 
  Adam Barth, Anupam Datta, John C. Mitchell, Helen Nissenbaum:
  Privacy and Contextual Integrity: Framework and Applications. S&P 2006: 184-198
• 
  Gilles Barthe, Tamara Rezk, David A. Naumann:
  Deriving an Information Flow Checker and Certifying Compiler for Java. S&P 2006: 230-242
• 
  John Bethencourt, Dawn Xiaodong Song, Brent Waters:
  New Constructions and Practical Applications for Private Stream Searching (Extended Abstract). S&P 2006: 132-139
• 
  Sandeep Bhatkar, Abhishek Chaturvedi, R. Sekar:
  Dataflow Anomaly Detection. S&P 2006: 48-62
• 
  Andrea Bittau, Mark Handley, Joshua Lackey:
  The Final Nail in WEP's Coffin. S&P 2006: 386-400
• 
  Bruno Blanchet:
  A Computationally Sound Mechanized Prover for Security Protocols. S&P 2006: 140-154
• 
  Kevin Borders, Xin Zhao, Atul Prakash:
  Siren: Catching Evasive Malware (Short Paper). S&P 2006: 78-85
• 
  David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha:
  Towards Automatic Generation of Vulnerability-Based Signatures. S&P 2006: 2-16
• 
  Mario Cagalj, Jean-Pierre Hubaux, Srdjan Capkun, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava:
  Integrity (I) Codes: Message Integrity Protection and Authentication Over Insecure Channels. S&P 2006: 280-294
• 
  Alvaro A. Cárdenas, John S. Baras, Karl Seamon:
  A Framework for the Evaluation of Intrusion Detection Systems. S&P 2006: 63-77
• 
  Ricardo Corin, Sandro Etalle, Ari Saptawijaya:
  A Logic for Constraint-based Security Protocol Analysis. S&P 2006: 155-168
• 
  Richard S. Cox, Steven D. Gribble, Henry M. Levy, Jacob Gorm Hansen:
  A Safety-Oriented Platform for Web Applications. S&P 2006: 350-364
• 
  Vinod Ganapathy, Trent Jaeger, Somesh Jha:
  Retrofitting Legacy Code for Authorization Policy Enforcement. S&P 2006: 214-229
• 
  Philippe Golle, XiaoFeng Wang, Markus Jakobsson, Alex Tsow:
  Deterring Voluntary Trace Disclosure in Re-encryption Mix Networks. S&P 2006: 121-131
• 
  Zvi Gutterman, Benny Pinkas, Tzachy Reinman:
  Analysis of the Linux Random Number Generator. S&P 2006: 371-385
• 
  Gerhard P. Hancke:
  Practical Attacks on Proximity Identification Systems (Short Paper). S&P 2006: 328-333
• 
  Dennis Hofheinz, Dominique Unruh:
  Simulatable Security and Polynomially Bounded Concurrent Composability. S&P 2006: 169-183
• 
  Nenad Jovanovic, Christopher Krügel, Engin Kirda:
  Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities (Short Paper). S&P 2006: 258-263
• 
  Ari Juels, Markus Jakobsson, Tom N. Jagatic:
  Cache Cookies for Browser Authentication (Extended Abstract). S&P 2006: 301-305
• 
  Dogan Kesdogan, Dakshi Agrawal, Dang Vinh Pham, Dieter Rautenbach:
  Fundamental Limits on the Anonymity Provided by the MIX Technique. S&P 2006: 86-99
• 
  Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch:
  SubVirt: Implementing malware with virtual machines. S&P 2006: 314-327
• 
  Yingjiu Li, Haibing Lu, Robert H. Deng:
  Practical Inference Control for Data Cubes (Extended Abstract). S&P 2006: 115-120
• 
  Zhichun Li, Manan Sanghi, Yan Chen, Ming-Yang Kao, Brian Chavez:
  Hamsa: Fast Signature Generation for Zero-day PolymorphicWorms with Provable Attack Resilience. S&P 2006: 32-47
• 
  David Molnar, Tadayoshi Kohno, Naveen Sastry, David A. Wagner:
  Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract). S&P 2006: 365-370
• 
  Lasse Øverlier, Paul F. Syverson:
  Locating Hidden Servers. S&P 2006: 100-114
• 
  Pai Peng, Peng Ning, Douglas S. Reeves:
  On the Secrecy of Timing-Based Active Watermarking Trace-Back Techniques. S&P 2006: 334-349
• 
  Roberto Perdisci, David Dagon, Wenke Lee, Prahlad Fogla, Monirul Islam Sharif:
  MisleadingWorm Signature Generators Using Deliberate Noise Injection. S&P 2006: 17-31
• 
  Nitesh Saxena, Jan-Erik Ekberg, Kari Kostiainen, N. Asokan:
  Secure Device Pairing based on a Visual Channel (Short Paper). S&P 2006: 306-313
• 
  Amit Vasudevan, Ramesh Yerraballi:
  Cobra: Fine-grained Malware Analysis using Stealth Localized-executions. S&P 2006: 264-279
• 
  Daphna Weinshall:
  Cognitive Authentication Schemes Safe Against Spyware (Short Paper). S&P 2006: 295-300

skipping 6 more matches