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

• 2024
• 
  Ali Asghar, Andreas Becher, Daniel Ziener:
  Short Paper: Analysis of Vivado implementation strategies regarding side-channel leakage for FPGA-based AES implementations. HASP@MICRO 2024: 45-49
• 
  Alexander Cathis, Ge Li, Shijia Wei, Michael Orshansky, Mohit Tiwari, Andreas Gerstlauer:
  SoK Paper: Power Side-Channel Malware Detection. HASP@MICRO 2024: 1-9
• 
  Rabimba Karanjai, Sangwon Shin, Wujie Xiong, Xinxin Fan, Lin Chen, Tianwei Zhang, Taeweon Suh, Weidong Shi, Veronika Kuchta, Francesco Sica, Lei Xu:
  TPU as Cryptographic Accelerator. HASP@MICRO 2024: 37-44
• 
  Satwik Kundu, Swaroop Ghosh:
  SoK Paper: Security Concerns in Quantum Machine Learning as a Service. HASP@MICRO 2024: 28-36
• 
  Bharath Namboothiry, David Durham, Christoph Dobraunig, Michael LeMay:
  Cryptographic Memory Tagging: Towards Stateless Integrity. HASP@MICRO 2024: 50-58
• 
  Chutitep Woralert, Chen Liu, Zander Blasingame:
  Towards Effective Machine Learning Models for Ransomware Detection via Low-Level Hardware Information. HASP@MICRO 2024: 10-18
• 
  Mengmei Ye, Sandhya Koteshwara, Derren Dunn, Hubertus Franke, Chris Porter, Tobin Feldman-Fitzthum, Angelo Ruocco, Daniele Buono, Cláudio Carvalho:
  Position Paper: From Confidential Computing to Zero Trust, Come Along for the (Bumpy?) Ride. HASP@MICRO 2024: 19-27
• 
  Proceedings of the 13th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2024, Austin, TX, USA, 2 November 2024. ACM 2024, ISBN 979-8-4007-1221-0 [contents]
• 2023
• 
  Karthik Ganesan, Viktor Karyofyllis, Julianne Attai, Ahmed Hamoda, Natalie Enright Jerger:
  DINAR: Enabling Distribution Agnostic Noise Injection in Machine Learning Hardware. HASP@MICRO 2023: 38-46
• 
  Sarbartha Banerjee:
  Triton: Software-Defined Threat Model for Secure Multi-Tenant ML Inference Accelerators. HASP@MICRO 2023: 19-28
• 
  Lélio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama:
  Automated Security Analysis for Real-World IoT Devices. HASP@MICRO 2023: 29-37
• 
  Tinghung Chiu, Wenjie Xiong:
  SoK: Fault Injection Attacks on Cryptosystems. HASP@MICRO 2023: 64-72
• 
  Subrata Das:
  SoK: A First Order Survey of Quantum Supply Dynamics and Threat Landscapes. HASP@MICRO 2023: 82-90
• 
  Quentin Forcioli, Jean-Luc Danger, Sumanta Chaudhuri:
  A gem5 based Platform for Micro-Architectural Security Analysis. HASP@MICRO 2023: 91-99
• 
  Reshma Lal, James B. Anderson, Andrew Jackson:
  Data Processing Unit's Entry into Confidential Computing. HASP@MICRO 2023: 56-63
• 
  William Liu, Joseph Ravichandran, Mengjia Yan:
  EntryBleed: A Universal KASLR Bypass against KPTI on Linux. HASP@MICRO 2023: 10-18
• 
  Enahoro Oriero, Faiq Khalid, Syed Rafay Hasan:
  DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans. HASP@MICRO 2023: 47-55
• 
  Wojciech Ozga:
  Towards a Formally Verified Security Monitor for VM-based Confidential Computing. HASP@MICRO 2023: 73-81
• 
  Kaki Ryan, Matthew Gregoire, Cynthia Sturton:
  SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. HASP@MICRO 2023: 1-9
• 
  Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2023, Toronto, Canada, 29 October 2023. ACM 2023 [contents]
• 2022
• 
  Chidera Biringa, Gaspard Baye, Gökhan Kul:
  Short Paper: Static and Microarchitectural ML-Based Approaches For Detecting Spectre Vulnerabilities and Attacks. HASP@MICRO 2022: 53-57
• 
  Mojtaba Bisheh-Niasar, Mila Anastasova, Abubakr Abdulgadir, Hwajeong Seo, Reza Azarderakhsh:
  Side-Channel Analysis and Countermeasure Design for Implementation of Curve448 on Cortex-M4. HASP@MICRO 2022: 10-17
• 
  Xiaoyue Chen, Pavlos Aimoniotis, Stefanos Kaxiras:
  Clueless: A Tool Characterising Values Leaking as Addresses. HASP@MICRO 2022: 27-34
• 
  Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin, Alexandru Mereacre, Nicholas Allott:
  SoK: How Not to Architect Your Next-Generation TEE Malware? HASP@MICRO 2022: 35-44
• 
  Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong:
  ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO 2022: 1-9
• 
  Robert Schilling, Pascal Nasahl, Martin Unterguggenberger, Stefan Mangard:
  SFP: Providing System Call Flow Protection against Software and Fault Attacks. HASP@MICRO 2022: 18-26
• 
  Suryansh Upadhyay, Swaroop Ghosh:
  Robust and Secure Hybrid Quantum-Classical Computation on Untrusted Cloud-Based Quantum Hardware. HASP@MICRO 2022: 45-52
• 
  Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2022, Chicago, IL, USA, 1 October 2022. ACM 2022, ISBN 978-1-4503-9871-8 [contents]
• 2021
• 
  Tianwei Zhang, Jakub Szefer, Ruby B. Lee:
  Practical and Scalable Security Verification of Secure Architectures. HASP@MICRO 2021: 2:1-2:9
• 
  Muhtadi Choudhury, Shahin Tajik, Domenic Forte:
  SPARSE: Spatially Aware LFI Resilient State Machine Encoding. HASP@MICRO 2021: 1:1-1:8

skipping 92 more matches