5 citations · 5 across the 1 of their papers we have counts for
3 papers
The Transactional Conflict Problem
Dan Alistarh, Syed Kamran Haider, Raphael Kübler +1
The transactional conflict problem arises in transactional systems whenever two or more concurrent transactions clash on a data item. While the standard solution to such conflicts…
Comments on "Defeating HaTCh: Building Malicious IP Cores"
Syed Kamran Haider, Chenglu Jin, Marten van Dijk
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, whi…
Revisiting Definitional Foundations of Oblivious RAM for Secure Processor Implementations
Syed Kamran Haider, Omer Khan, Marten van Dijk
Oblivious RAM (ORAM) is a renowned technique to hide the access patterns of an application to an untrusted memory. According to the standard ORAM definition presented by Goldreich…