5 citations · 8 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DC2018★ 1 cited
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…
cs.CR2018★ 1 cited
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…