Publications

Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

53rd International Symposium on Computer Architecture (ISCA 2026), June 2026

PDF

Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness

Áron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, and Clark Barrett

27th International Symposium on Formal Methods (FM 2026), May 2026

PDF

Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory

Samantha Archer, Georgios Mappouras, Robert Calderbank, and Daniel Sorin

50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020), June 2020

PDF

Synthesizing Execution Contracts from RTL for Formally Verified Hardware Side-Channel Defenses

Xiaofu Li, William Zhu, Samantha Archer, and Caroline Trippel

8th Young Architect Workshop (YArch) at 53rd International Symposium on Computer Architecture (ISCA 2026), June 2026

PDF

Word-Level Model Checking with IC3 in Pono

Áron Ricardo Perez-Lopez, Samantha Archer, and Clark Barrett

Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024

SymLeak: Quantifying Side Channel Leakage with Symbolic Execution

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024

PDF

Quantifying Software Leakage via Transmitters with Leakage Functions

Samantha Archer, Mohammad Rahmani Fadiheh, and Caroline Trippel

6th Young Architect Workshop (YArch) at 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024), April 2024

PDF