Close

Session

Research Manuscript
:
Shields Up: Post-Quantum Hardware, Confidential Computing, and Silicon-Level Resilience
DescriptionDescription: As post-quantum cryptography, confidential virtualization, and encrypted data processing move from theory to deployment, hardware platforms are becoming the decisive battleground for both leakage and resilience. This DAC session brings together foundational advances and sobering attacks that redefine how we design, verify, and protect next-generation secure systems by presenting methods for significantly reducing side-channel overhead, a modular RISC-V extension tailored for post-quantum cryptography, and AI-inspired architectural techniques that accelerate LPN-based primitives critical to PQC deployments. This session will also shed light on analytical, timing-aware pre-silicon leakage estimation, practical fault-injection attacks targeting FPGA logic synthesis tools, and AI-assisted threat-to-assertion learning to improve SoC security verification coverage. Furthermore, this session will present sparsity-aware optimizations for encrypted sparse matrix multiplication through hardware–software co-design, processing-in-memory acceleration to scale fully homomorphic encryption databases, and securely migrating workloads across heterogeneous trusted environments without breaking isolation guarantees.
Event Type
Research Manuscript
TimeWednesday, July 293:30pm - 5:30pm PDT
LocationMtg Room 202C
Topics
Security
Tracks
SEC2. Hardware Security: Primitives, Architecture, Design & Test
Presentations
3:30pm - 3:42pm PDTLeveraging AI-Inspired Hardware Architecture to Enhance LPN Acceleration in Post-Quantum Cryptography
3:42pm - 3:54pm PDTAthena: Analytical Timing-Aware Pre-Silicon Estimation of Side-Channel Leakage
3:54pm - 4:06pm PDTTowards Practical Live Migration for Heterogeneous Confidential Virtual Machines
4:06pm - 4:18pm PDTSparsee: Unlocking Sparsities in Encrypted Sparse Matrix Multiplication via Hardware-Software Co-Design
4:18pm - 4:30pm PDTPIMA-SecDB: Processing-in-Memory Acceleration for Fully Homomorphic Encryption Databases
4:30pm - 4:42pm PDTAre They All Safe? Practical Fault Injection Attacks on FPGA Logic Synthesis Tools
4:42pm - 4:54pm PDTRaise the Shields: A Modular RISC-V Extension for Post Quantum Cryptography
4:54pm - 5:06pm PDTReal-Time, Lightweight, High Coverage Error Detection and Correction for CRYSTALS with Small-Modulus Paths
5:06pm - 5:18pm PDTATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
5:18pm - 5:30pm PDTSTELLAR: Structure-Guided LLM Assertion Retrieval and Generation for Formal Verification