- 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
