Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Fadiheh, Mohammad R."'
Autor:
Schmitz, Philipp, Jauch, Tobias, Wezel, Alex, Fadiheh, Mohammad R., Tiemann, Thore, Heller, Jonah, Eisenbarth, Thomas, Stoffel, Dominik, Kunz, Wolfgang
This paper introduces Okapi, a new hardware/software cross-layer architecture designed to mitigate Transient Execution Side Channel (TES) attacks in modern computing systems. Okapi enforces sandboxing for speculative execution, providing a hardware b
Externí odkaz:
http://arxiv.org/abs/2312.08156
Autor:
Singh, Eshan, Devarajegowda, Keerthikumara, Simon, Sebastian, Schnieder, Ralf, Ganesan, Karthik, Fadiheh, Mohammad R., Stoffel, Dominik, Kunz, Wolfgang, Barrett, Clark, Ecker, Wolfgang, Mitra, Subhasish
We present an industrial case study that demonstrates the practicality and effectiveness of Symbolic Quick Error Detection (Symbolic QED) in detecting logic design flaws (logic bugs) during pre-silicon verification. Our study focuses on several micro
Externí odkaz:
http://arxiv.org/abs/1902.01494