Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic.

Jo Van Bulck Frank Piessens Raoul Strackx

Published in: CCS (2018)

Keyphrases

asynchronous circuits
logic programming
information flow
modal logic
automatic identification
classical logic
predicate logic
automated reasoning
leak detection
digital circuits
memory access
knowledge base
private information
formal theory