Dijkstra's Pipe: Timing-Secure Processors by Design

Nagarajan, Vijay (Principal Investigator)
Ainsworth, Sam (Co-investigator)
Aspinall, David (Co-investigator)
Grosser, Tobias (Co-investigator)

School of Informatics

Status	Active
Effective start/end date	1/07/21 → 30/06/24

Funding

EPSRC: £669,048.00

1 Conference contribution

GhostMinion: A Strictness-Ordered Cache System for Spectre Mitigation
Ainsworth, S., 17 Oct 2021, MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture. New York, NY, United States: ACM Association for Computing Machinery, p. 592-606 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File