IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing (TDSC) is a bimonthly journal that publishes archival research results focusing on foundations, methodologies, and mechanisms that support the achievement—through design, modeling, and evaluation—of systems and networks that are dependable and secure to the desired degree without compromising performance. Read the full scope of TDSC
Expand your horizons with Colloquium, a monthly survey of abstracts from all CS transactions! Replaces OnlinePlus in January 2017.
From the January/February 2019 issue
Advancing the State-of-the-Art in Hardware Trojans Detection
By Syed Kamran Haider, Chenglu Jin, Masab Ahmad, Devu Manikantan Shila, Omer Khan, and Marten van Dijk
Over the past decade, Hardware Trojans (HTs) research community has made significant progress towards developing effective countermeasures for various types of HTs, yet these countermeasures are shown to be circumvented by sophisticated HTs designed subsequently. Therefore, instead of guaranteeing a certain (low) false negative rate for a small constant set of publicly known HTs, a rigorous security framework of HTs should provide an effective algorithm to detect any HT from an exponentially large class (exponential in number of wires in IP core) of HTs with negligible false negative rate. In this work, we present HaTCh, the first rigorous algorithm of HT detection within the paradigm of pre-silicon logic testing based tools. HaTCh detects any HT from HD, a huge class of deterministic HTs which is orders of magnitude larger than the small subclass (e.g., TrustHub) considered in the current literature. We prove that HaTCh offers negligible false negative rate and controllable false positive rate for the class HD. Given certain global characteristics regarding the stealthiness of the HT within HD, the computational complexity of HaTCh for practical HTs scales polynomially with the number of wires in the IP core. We implement and test HaTCh on TrustHub and other sophisticated HTs.
Editorials and Announcements
- We are pleased to announce that Jaideep Vaidya, the RBS Dean’s Research Professor of Computer Information Systems in the Management Science and Information Systems Department at Rutgers University, has been selected as the new Editor-in-Chief of TDSC starting in 2018.
- TDSC now offers authors access to Code Ocean. Code Ocean is a cloud-based executable research platform that allows authors to share their algorithms in an effort to make the world’s scientific code more open and reproducible. Learn more or sign up for free.
- Guest Editor Proposals for IEEE TDSC Special Issues (PDF)
Call for Papers
- Editorial (January/February 2019)
- Editorial (January-February 2018)
- Editor's Note (November-December 2017)
- The State of the Journal Editorial (January/February 2017)
- Editor's Note (July/August 2016)
- The State of the Journal (January/February 2016)
- The State of the Journal (March/April 2014)
- Editor's Note (May/June 2014)
- Editorial (January/February 2014)
- Guest Editor's Introduction to the Special Section on Social Network Security (July/August 2018)
- Special Issue on Cyber Crime (March/April 2016)
- Special Issue on Reliable and Secure VANETs (Jan/Feb 2016)
- Special Issue on Security and Privacy in Mobile Platforms (May/June 2014)
Access recently published TDSC articles
Subscribe to the RSS feed of recently published TDSC content
Sign up for e-mail notifications through IEEE Xplore Content Alerts
View TDSC preprints in the Computer Society Digital Library
Swimming with Sharks: Security Roundtable