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

• 2016
• 
  Xi Wu, Matthew Fredrikson, Somesh Jha, Jeffrey F. Naughton:
  A Methodology for Formalizing Model-Inversion Attacks. CSF 2016: 355-370
• 
  Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio:
  Localizing Firewall Security Policies. CSF 2016: 194-209
• 
  Shreya Agrawal, Borzoo Bonakdarpour:
  Runtime Verification of k-Safety Hyperproperties in HyperLTL. CSF 2016: 239-252
• 
  Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
  Axioms for Information Leakage. CSF 2016: 77-92
• 
  Ross J. Anderson:
  Are the Real Limits to Scale a Matter of Science, or Engineering, or of Something Else? (Abstract only). CSF 2016: 16
• 
  Andrew W. Appel:
  Modular Verification for Computer Security. CSF 2016: 1-8
• 
  Owen Arden, Andrew C. Myers:
  A Calculus for Flow-Limited Authorization. CSF 2016: 135-149
• 
  Zaruhi Aslanyan, Flemming Nielson, David Parker:
  Quantitative Verification and Synthesis of Attack-Defence Scenarios. CSF 2016: 105-119
• 
  Mounir Assaf, David A. Naumann:
  Calculational Design of Information Flow Monitors. CSF 2016: 210-224
• 
  David A. Basin, Søren Debois, Thomas T. Hildebrandt:
  In the Nick of Time: Proactive Prevention of Obligation Violations. CSF 2016: 120-134
• 
  David A. Basin, Sasa Radomirovic, Lara Schmid:
  Modeling Human Errors in Security Protocols. CSF 2016: 325-340
• 
  Frédéric Besson, Nataliia Bielova, Thomas P. Jensen:
  Hybrid Monitoring of Attacker Knowledge. CSF 2016: 225-238
• 
  Bruno Blanchet, Ben Smyth:
  Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers. CSF 2016: 310-324
• 
  Jeremiah Blocki, Anupam Datta:
  CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection. CSF 2016: 371-386
• 
  Nicolás E. Bordenabe, Geoffrey Smith:
  Correlated Secrets in Quantitative Information Flow. CSF 2016: 93-104
• 
  Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei:
  Micro-policies for Web Session Security. CSF 2016: 179-193
• 
  Stefano Calzavara, Alvise Rabitti, Enrico Steffinlongo, Michele Bugliesi:
  Static Detection of Collusion Attacks in ARBAC-Based Workflow Systems. CSF 2016: 458-470
• 
  Katriel Cohn-Gordon, Cas Cremers, Luke Garratt:
  On Post-compromise Security. CSF 2016: 164-178
• 
  Sergiu Costea, Bogdan Warinschi:
  Secure Software Licensing: Models, Constructions, and Proofs. CSF 2016: 31-44
• 
  Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker:
  Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. CSF 2016: 432-442
• 
  Úlfar Erlingsson:
  Data-Driven Software Security: Models and Methods. CSF 2016: 9-15
• 
  Cédric Fournet, Chantal Keller, Vincent Laporte:
  A Certified Compiler for Verifiable Computing. CSF 2016: 268-280
• 
  Simon Greiner, Daniel Grahl:
  Non-interference with What-Declassification in Component-Based Systems. CSF 2016: 253-267
• 
  Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce:
  Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF 2016: 45-60
• 
  M. H. R. Khouzani, Pasquale Malacaria:
  Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design. CSF 2016: 61-76
• 
  Ralf Küsters, Johannes Müller, Enrico Scapin, Tomasz Truderung:
  sElect: A Lightweight Verifiable Remote Voting System. CSF 2016: 341-354
• 
  Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah:
  Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. CSF 2016: 417-431
• 
  Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria:
  Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF 2016: 387-400
• 
  Marco Patrignani, Dominique Devriese, Frank Piessens:
  On Modular and Fully-Abstract Compilation. CSF 2016: 17-30
• 
  Vineet Rajani, Deepak Garg, Tamara Rezk:
  On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. CSF 2016: 150-163

skipping 5 more matches