This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Caroline Trippel
A grouping.
Caroline Trippel: memory and transistency models as the place where hardware security bugs live - TriCheck, MeltdownPrime/SpectrePrime synthesis, TransForm, axiomatic HW-SW contracts, RTL2MuPATH.
5 references
RTL2MuPATH: Multi-uPATH Synthesis with Applications to Hardware Security Verification
Yao Hsiao and others (2024)
Axiomatic hardware-software contracts for security
Nicholas Mosier and others (2022) · Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA 2022)
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Naorin Hossain and others (2020) · 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA 2020)
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
Caroline Trippel and others (2018)
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
Caroline Trippel and others (2017) · Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)