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

• 2021
• 
  Kevin Bock, Pranav Bharadwaj, Jasraj Singh, Dave Levin:
  Your Censor is My Censor: Weaponizing Censorship Infrastructure for Availability Attacks. SP (Workshops) 2021: 398-409
• 
  Junjie Shen, Jun Yeon Won, Zeyuan Chen, Qi Alfred Chen:
  Demo: Attacking Multi-Sensor Fusion based Localization in High-Level Autonomous Driving. SP (Workshops) 2021: 242
• 
  Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi:
  HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. SP (Workshops) 2021: 253-259
• 
  Joshua Ackerman, George Cybenko:
  Formal Languages, Deep Learning, Topology and AlgebraicWord Problems. SP (Workshops) 2021: 134-141
• 
  Tim Allison, Wayne Burke, Chris Mattmann, Anastasija Mensikova, Philip Southam, Ryan Stonebraker:
  Research Report: Building a File Observatory for Secure Parser Development. SP (Workshops) 2021: 121-127
• 
  Adeen Ayub, Hyunguk Yoo, Irfan Ahmed:
  Empirical Study of PLC Authentication Protocols in Industrial Control Systems. SP (Workshops) 2021: 383-397
• 
  Alvaro A. Cárdenas:
  Message from the General Chair. SP (Workshops) 2021: xi-xiv
• 
  Zhouhan Chen, Juliana Freire:
  Discovering and Measuring Malicious URL Redirection Campaigns from Fake News Domains. SP (Workshops) 2021: 1-6
• 
  Tianyu Chen, Jeremy G. Siek:
  Mechanized Type Safety for Gradual Information Flow. SP (Workshops) 2021: 194-206
• 
  Henry Clausen, David Aspinall:
  Examining traffic microstructures to improve model development. SP (Workshops) 2021: 19-24
• 
  Tristan Claverie, José Lopes-Esteves:
  BlueMirror: Reflections on Bluetooth Pairing and Provisioning Protocols. SP (Workshops) 2021: 339-351
• 
  Christopher DiPalma, Ningfei Wang, Takami Sato, Qi Alfred Chen:
  Demo: Security of Camera-based Perception for Autonomous Driving under Adversarial Attack. SP (Workshops) 2021: 243
• 
  Mohammadreza Ebrahimi, Jason Pacheco, Weifeng Li, James Lee Hu, Hsinchun Chen:
  Binary Black-Box Attacks Against Static Malware Detectors with Reinforcement Learning in Discrete Action Spaces. SP (Workshops) 2021: 85-91
• 
  Derek Egolf, Sam Lasser, Kathleen Fisher:
  Verbatim: A Verified Lexer Generator. SP (Workshops) 2021: 92-100
• 
  Philippe Elbaz-Vincent, Mohamed Traoré:
  Revisiting the Pervasiveness of Weak Keys in Network Devices. SP (Workshops) 2021: 43-48
• 
  Gints Engelen, Vera Rimmer, Wouter Joosen:
  Troubleshooting an Intrusion Detection Dataset: the CICIDS2017 Case Study. SP (Workshops) 2021: 7-12
• 
  Dhia Farrah, Marc Dacier:
  Zero Conf Protocols and their numerous Man in the Middle (MITM) Attacks. SP (Workshops) 2021: 410-421
• 
  Hossein Fereidooni, Samuel Marchal, Markus Miettinen, Azalia Mirhoseini, Helen Möllering, Thien Duc Nguyen, Phillip Rieger, Ahmad-Reza Sadeghi, Thomas Schneider, Hossein Yalame, Shaza Zeitouni:
  SAFELearn: Secure Aggregation for private FEderated Learning. SP (Workshops) 2021: 56-62
• 
  Furkan Göksel, Muslum Ozgur Ozmen, Michael Reeves, Basavesh Shivakumar, Z. Berkay Celik:
  On the Safety Implications of Misordered Events and Commands in IoT Systems. SP (Workshops) 2021: 235-241
• 
  José Antonio Gómez-Hernández, Pedro García-Teodoro, Juan Antonio Holgado Terriza, Gabriel Maciá-Fernández, José Camacho-Páez, M. Robles-Carrillo:
  AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments. SP (Workshops) 2021: 31-36
• 
  David S. Hardin, Konrad L. Slind:
  Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations. SP (Workshops) 2021: 111-120
• 
  Tobias Höller, Thomas Raab, Michael Roland, René Mayrhofer:
  On the feasibility of short-lived dynamic onion services. SP (Workshops) 2021: 25-30
• 
  Md. Imran Hossen, Xiali Hei:
  A Low-Cost Attack against the hCaptcha System. SP (Workshops) 2021: 422-431
• 
  Jiayi Hua, Yuanchun Li, Haoyu Wang:
  MMGuard: Automatically Protecting On-Device Deep Learning Models in Android Apps. SP (Workshops) 2021: 71-77
• 
  Andreas Jakoby, Jannis Leuther, Stefan Lucks:
  Formal Language Theory for Practical Security - Extended Abstract -. SP (Workshops) 2021: 101-110
• 
  Sung Woo Jeon, Sayan Mitra:
  Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. SP (Workshops) 2021: 268-276
• 
  DongInn Kim, Vafa Andalibi, Linda Jean Camp:
  Protecting IoT Devices through Localized Detection of BGP Hijacks for Individual Things. SP (Workshops) 2021: 260-267
• 
  Jihye Kim, John V. Monaco:
  User Identification in Dynamic Web Traffic via Deep Temporal Features. SP (Workshops) 2021: 282-290
• 
  Igor Korkin:
  Protected Process Light is not Protected: MemoryRanger Fills The Gap Again. SP (Workshops) 2021: 298-308
• 
  Brody Kutt, William Hewlett, Oleksii Starov, Yuchen Zhou:
  Innocent Until Proven Guilty (IUPG): Building Deep Learning Models with Embedded Robustness to Out-Of-Distribution Content. SP (Workshops) 2021: 49-55

skipping 29 more matches