Hardware and Architectural Support for Security and Privacy (HASP) 2026

in conjunction with MICRO 2026, Oct 31, 2026, Athens, Greece.

1:00 – 1:10	Opening Remarks
1:10 – 2:00	Keynote Talk 1: TBD Yuval Yarom (Ruhr Univ. Bochum)
2:00 – 2:30	Session 1: Microarchitectural Security
2:00 – 2:10	Unfenced: Atomic Guards Against Spectre: ISA-Level Lock-Free Mitigation for Multi-Core RISC-V Processors Muhammad Awais, Maria Mushtaq, Lirida Naviner (Télécom Paris); Jawad Haj Yahya (Meta); Florent Bruguier (CNRS, LIRMM)
2:10 – 2:20	Need for Thread: Using Thread Race Conditions for Timerless Side Channel Attacks and More Timothy Lesch, Dmitry Evtyushkin (William & Mary)
2:20 – 2:30	Event-Driven Side Channel Exploration Using Hardware Performance Counters Timothy Lesch, Philip Roberts, Dmitry Evtyushkin (William & Mary)
2:30 – 3:00	Session 2: Physical and Embedded Security
2:30 – 2:40	Power Side-Channel Attacks on Machine-Learning-based Quantum Error Correction Decoders Anthony Etim (Yale Univ.); Jakub Szefer (Northwestern Univ.)
2:40 – 2:50	Voltage Fault Injection Against On-Device Language Models Anthony Etim (Yale Univ.); Jakub Szefer (Northwestern Univ.)
2:50 – 3:00	SE-SDs: Self-Encrypting SD-Cards — A Threat Model and Security Analysis Xhani Marvin Saß, Jean-Pierre Seifert (TU Berlin)
3:00 – 3:30	Coffee Break
3:30 – 4:20	Keynote Talk 2: TBD Stefan Saroiu (Microsoft Research)
4:20 – 5:00	Session 3: Zero-Knowledge Proofs and Trusted Computing
4:20 – 4:30	Attestable Audit: Property-based Attestation for Proprietary Artifacts without Disclosure using TEE-backed ZKP Takuma Imamura (Acompany Co., Ltd.)
4:30 – 4:40	zkDuel: Characterizing SumCheck Prover Kernels across GPU Programming Models Samarth Narang, Alhad Daftardar, Brandon Reagen (New York Univ.)
4:40 – 4:50	WiP: A Case for PIM in ZKP Acceleration Neeraj Prabhu, Jarrett Minton, Pratik Soni, Rajeev Balasubramonian (Univ. of Utah)
4:50 – 5:00	FactorEQ: A Materialization-Free Hardware Architecture for Equality Polynomial Generation in SumCheck Jingren Wei, Radu Teodorescu (The Ohio State Univ.)
5:00 – 5:40	Session 4: Privacy-Preserving and Post-Quantum Acceleration
5:00 – 5:10	WiP: OptiPrime: Optimizing Private Inference through Protocol–Hardware Co-design Jiangrui Yu, Ye Yu (Peking Univ.); Si Chen (Open Security Research); Chenqi Lin, Wenxuan Zeng (Peking Univ.); Junfeng Fan (Open Security Research); Mingyu Gao (Tsinghua Univ.); Meng Li (Peking Univ.)
5:10 – 5:20	WiP: Helios: Melting Kernel Boundaries for GPU-Accelerated HE via Graph Rewriting and Microarchitecture-Aware Mapping Yi Chen, Ziyu Tang, Chao Yang (Peking Univ.); Guang Fan, Mingzhe Zhang (Ant Group); Meng Li (Peking Univ.)
5:20 – 5:30	A Scalable and Secure Hardware Architecture for SLH-DSA Luke Beckwith, Abubakr Abdulgadir, Rami Elkhatib, Reza Azarderakhsh (PQSecure Technologies)
5:30 – 5:40	Can FrodoKEM Run in a Millisecond? FPGA Says Yes! Gökçe Düzyol, Muhammed Said Gündoğan, Atakan Arslan (National Research Inst. of Electronics and Cryptology (UEKAE), TÜBİTAK BİLGEM)