5 citations · 8 across the 4 of their papers we have counts for
6 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…
Connecting the Dots: Privacy Leakage via Write-Access Patterns to the Main Memory
Tara Merin John, Syed Kamran Haider, Hamza Omar +1
Data-dependent access patterns of an application to an untrusted storage system are notorious for leaking sensitive information about the user's data. Previous research has shown h…
Flat ORAM: A Simplified Write-Only Oblivious RAM Construction for Secure Processors
Syed Kamran Haider, Marten van Dijk
Oblivious RAM (ORAM) is a cryptographic primitive which obfuscates the access patterns to a storage thereby preventing privacy leakage. So far in the current literature, only `full…
Advancing the State-of-the-Art in Hardware Trojans Design
Syed Kamran Haider, Chenglu Jin, Marten van Dijk
Electronic Design Automation (EDA) industry heavily reuses third party IP cores. These IP cores are vulnerable to insertion of Hardware Trojans (HTs) at design time by third party…