5 citations · 8 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
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…