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

• 2016
• 
  Michael Backes, Sven Bugiel, Erik Derr:
  Reliable Third-Party Library Detection in Android and its Security Applications. CCS 2016: 356-367
• 
  Michael Backes, Pascal Berrang, Mathias Humbert, Praveen Manoharan:
  Membership Privacy in MicroRNA-based Studies. CCS 2016: 319-330
• 
  Michael Backes, Sven Bugiel, Jie Huang, Oliver Schranz:
  POSTER: The ART of App Compartmentalization. CCS 2016: 1811-1813
• 
  Michael Backes, Robert Künnemann, Esfandiar Mohammadi:
  Computational Soundness for Dalvik Bytecode. CCS 2016: 717-730
• 
  Matthew Green, Watson Ladd, Ian Miers:
  A Protocol for Privately Reporting Ad Impressions at Scale. CCS 2016: 1591-1601
• 
  Manish Shukla, Sutapa Mondal, Sachin Lodha:
  POSTER: Locally Virtualized Environment for Mitigating Ransomware Threat. CCS 2016: 1784-1786
• 
  Lorenzo Grassi, Christian Rechberger, Dragos Rotaru, Peter Scholl, Nigel P. Smart:
  MPC-Friendly Symmetric Key Primitives. CCS 2016: 430-443
• 
  Peng Liu, Cliff Wang:
  MTD 2016: Third ACM Workshop on Moving Target Defense. CCS 2016: 1868-1869
• 
  Martín Abadi, Andy Chu, Ian J. Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang:
  Deep Learning with Differential Privacy. CCS 2016: 308-318
• 
  Tigist Abera, N. Asokan, Lucas Davi, Jan-Erik Ekberg, Thomas Nyman, Andrew Paverd, Ahmad-Reza Sadeghi, Gene Tsudik:
  C-FLAT: Control-Flow Attestation for Embedded Systems Software. CCS 2016: 743-754
• 
  Md. Mamunur Rashid Akand, Reihaneh Safavi-Naini:
  POSTER: Privacy Enhanced Secure Location Verification. CCS 2016: 1793-1795
• 
  Martin R. Albrecht, Jean Paul Degabriele, Torben Brandt Hansen, Kenneth G. Paterson:
  A Surfeit of SSH Cipher Suites. CCS 2016: 1480-1491
• 
  Abeer Alhuzali, Birhanu Eshete, Rigel Gjomemo, V. N. Venkatakrishnan:
  Chainsaw: Chained Automated Workflow-based Exploit Generation. CCS 2016: 641-652
• 
  Moreno Ambrosin, Mauro Conti, Ahmad Ibrahim, Gregory Neven, Ahmad-Reza Sadeghi, Matthias Schunter:
  SANA: Secure and Scalable Aggregate Network Attestation. CCS 2016: 731-742
• 
  Elli Androulaki, Michael K. Reiter:
  CCSW'16: 8th ACM Cloud Computing Security Workshop. CCS 2016: 1882-1883
• 
  Toshinori Araki, Assaf Barak, Jun Furukawa, Yehuda Lindell, Ariel Nof, Kazuma Ohara:
  DEMO: High-Throughput Secure Three-Party Computation of Kerberos Ticket Generation. CCS 2016: 1841-1843
• 
  Toshinori Araki, Jun Furukawa, Yehuda Lindell, Ariel Nof, Kazuma Ohara:
  High-Throughput Semi-Honest Secure Three-Party Computation with an Honest Majority. CCS 2016: 805-817
• 
  George Argyros, Ioannis Stais, Suman Jana, Angelos D. Keromytis, Aggelos Kiayias:
  SFADiff: Automated Evasion Attacks and Fingerprinting Using Black-box Differential Automata Learning. CCS 2016: 1690-1701
• 
  Omid Asudeh, Matthew Wright:
  POSTER: Phishing Website Detection with a Multiphase Framework to Find Visual Similarity. CCS 2016: 1790-1792
• 
  Erman Ayday, Jean-Pierre Hubaux:
  Privacy and Security in the Genomic Era. CCS 2016: 1863-1865
• 
  Enrico Bacis, Sabrina De Capitani di Vimercati, Sara Foresti, Stefano Paraboschi, Marco Rosa, Pierangela Samarati:
  Mix&Slice: Efficient Access Revocation in the Cloud. CCS 2016: 217-228
• 
  Marshall Ball, Tal Malkin, Mike Rosulek:
  Garbling Gadgets for Boolean and Arithmetic Circuits. CCS 2016: 565-577
• 
  Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini:
  Strong Non-Interference and Type-Directed Higher-Order Masking. CCS 2016: 116-129
• 
  Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub:
  Differentially Private Bayesian Programming. CCS 2016: 68-79
• 
  Gilles Barthe, Noémie Fong, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub:
  Advanced Probabilistic Couplings for Differential Privacy. CCS 2016: 55-67
• 
  Mihir Bellare, Viet Tung Hoang, Stefano Tessaro:
  Message-Recovery Attacks on Feistel-Based Format Preserving Encryption. CCS 2016: 444-455
• 
  Aner Ben-Efraim, Yehuda Lindell, Eran Omri:
  Optimizing Semi-Honest Secure Multiparty Computation for the Internet. CCS 2016: 578-590
• 
  Karthikeyan Bhargavan, Gaëtan Leurent:
  On the Practical (In-)Security of 64-bit Block Ciphers: Collision Attacks on HTTP over TLS and OpenVPN. CCS 2016: 456-467
• 
  Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev:
  Statistical Deobfuscation of Android Applications. CCS 2016: 343-355
• 
  Begül Bilgin, Svetla Nikova, Vincent Rijmen:
  Theory of Implementation Security Workshop (TIs 2016). CCS 2016: 1875-1876

skipping 167 more matches