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

• 2023
• 
  Adi Akavia, Ben Galili, Hayim Shaul, Mor Weiss, Zohar Yakhini:
  Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE. CSF 2023: 489-504
• 
  Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach:
  Formalizing Stack Safety as a Security Property. CSF 2023: 356-371
• 
  David Baelde, Alexandre Debant, Stéphanie Delaune:
  Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF 2023: 75-90
• 
  Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang:
  Election Verifiability in Receipt-Free Voting Protocols. CSF 2023: 59-74
• 
  Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu:
  A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF 2023: 372-387
• 
  Jeppe Fredsgaard Blaabjerg, Aslan Askarov:
  OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads. CSF 2023: 292-307
• 
  Chris Brzuska, Sabine Oechsner:
  A State-Separating Proof for Yao's Garbling Scheme. CSF 2023: 137-152
• 
  Eric Chan, Marek Chrobak, Mohsen Lesani:
  Cross-Chain Swaps with Preferences. CSF 2023: 261-275
• 
  Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso:
  Bayes Security: A Not So Average Metric. CSF 2023: 388-406
• 
  Vincent Cheval, Véronique Cortier, Alexandre Debant:
  Election Verifiability with ProVerif. CSF 2023: 43-58
• 
  Vincent Cheval, Itsaka Rakotonirina:
  Indistinguishability Beyond Diff-Equivalence in ProVerif. CSF 2023: 184-199
• 
  Sherman S. M. Chow, Christoph Egger, Russell W. F. Lai, Viktoria Ronge, Ivy K. Y. Woo:
  On Sustainable Ring-Based Anonymous Systems. CSF 2023: 568-583
• 
  Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman:
  Smart Contract Synthesis Modulo Hyperproperties. CSF 2023: 276-291
• 
  Cas Cremers, Charlie Jacomme, Philip Lukert:
  Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis. CSF 2023: 200-213
• 
  Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia:
  Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. CSF 2023: 324-339
• 
  Sayanton V. Dibbo:
  SoK: Model Inversion Attack Landscape: Taxonomy, Challenges, and Future Roadmap. CSF 2023: 439-456
• 
  Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser:
  Statement-Oblivious Threshold Witness Encryption. CSF 2023: 17-32
• 
  Denis Firsov, Dominique Unruh:
  Zero-Knowledge in EasyCrypt. CSF 2023: 1-16
• 
  Ashley Fraser, Lydia Garms, Elizabeth A. Quaglia:
  On the Incoercibility of Digital Signatures. CSF 2023: 153-168
• 
  Sebastian Holler, Sebastian Biewer, Clara Schneidewind:
  HoRStify: Sound Security Analysis of Smart Contracts. CSF 2023: 245-260
• 
  Thomas Humphries, Simon Oya, Lindsey Tulloch, Matthew Rafuse, Ian Goldberg, Urs Hengartner, Florian Kerschbaum:
  Investigating Membership Inference Attacks under Data Dependencies. CSF 2023: 473-488
• 
  Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters:
  High-Assurance Field Inversion for Curve-Based Cryptography. CSF 2023: 552-567
• 
  Zahra Javar, Bruce M. Kapron:
  Preimage Awareness in Linicrypt. CSF 2023: 33-42
• 
  Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi:
  Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF 2023: 423-438
• 
  Emiel Lanckriet, Matteo Busi, Dominique Devriese:
  $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. CSF 2023: 537-551
• 
  Easwar Vivek Mangipudi, Donghang Lu, Alexandros Psomas, Aniket Kate:
  Collusion-Deterrent Threshold Information Escrow. CSF 2023: 584-599
• 
  Liam Medley, Angelique Faye Loe, Elizabeth A. Quaglia:
  SoK: Delay-Based Cryptography. CSF 2023: 169-183
• 
  Marco Patrignani, Sam Blackshear:
  Robust Safety for Move. CSF 2023: 308-323
• 
  Bernardo Portela, Hugo Pacheco, Pedro Jorge, Rogério Pontes:
  General-Purpose Secure Conflict-free Replicated Data Types. CSF 2023: 521-536
• 
  Sophie Rain, Georgia Avarikioti, Laura Kovács, Matteo Maffei:
  Towards a Game-Theoretic Security Analysis of Off-Chain Protocols. CSF 2023: 107-122

skipping 9 more matches