Please click on any of the trust issues in the picture below for more information about them and their corresponding tools:
The CAD for Trust and Assurance website is an academic dissemination effort by researchers in the field of hardware security. The goal is to assemble information on all CAD for trust/assurance activities in academia and industry in one place and share them with the broader community of researchers and practitioners in a timely manner, with an easy-to-search and easy-to-access interface. We’re including information on many major CAD tools the research community have developed over the past decade, including open-source license-free or ready-for-licensing tools, associated metrics, relevant publications and video-demos. Note that this effort is not funded by any agency/company and is not driven by any commercial interest.
We strongly hope this effort will increase visibility of the outstanding research and development activities that are under way in the field of CAD for assurance of electronic systems; the technologies that are coming out of these efforts; and facilitate their transition to practice.
Note that this is an evolving effort with more content about new and existing CAD tools gradually being added to the website. We solicit the participation and cooperation of all peer academic researchers as well as relevant industry and government personnel working in this field to make this effort successful!
Webinars on the CAD Tools
The webinar information is also available on IEEE CEDA website (https://ieee-ceda.org/cad-
Date/Time (EST) | Title | Speakers/Moderators Panelists |
CAD Tools | Registration | Recordings |
---|---|---|---|---|---|
FRI. FEB 12, 2021 11:00AM-12:20PM EST |
NETA Toolset 30-min demo with a 10-min Q&A |
Travis Meade (UCF) | LINK |
🌐 Zoom |
📺 Webinar |
FEDS, SAFARI, XFC 30-min demo with a 10-min Q&A |
Chester Rebeiro (IIT Madras) | LINK 1 LINK 2 LINK 3 |
|||
FRI. MAR 12, 2021 11:00AM-12:20PM EST |
RTL Logic Attacks 30-min demo with a 10-min Q&A |
Chandan Karfa (IIT Guwahati) | LINK |
🌐 Zoom |
📺 Webinar |
SMT Attack 30-min demo with a 10-min Q&A |
Avesta Sasan (GMU) | LINK | |||
MON. APR 19, 2021 11:00AM-12:20PM ET |
Panel 1: Microelectronics Assurance Under Zero Trust Model
|
Moderators: Saverio Fazzari (BAH) Panelists: |
🌐 Zoom |
Panel presentations and discussions were not recorded. | |
FRI. MAY 14, 2021 11:00AM-12:20PM ET |
Deep Learning-Based Model Building Attacks on Arbiter PUF Compositions |
Rajat Subhra Chakraborty (IIT Kharagpur) Pranesh Santikellur (IIT Kharagpur) |
LINK |
🌐 Zoom |
📺 Webinar |
NEOS Toolset 30-min demo with a 10-min Q&A |
Kaveh Shamsi (UT-Dallas) | LINK | |||
FRI. JUN 11, 2021 11:00AM-12:20PM ET |
Side-Channel Analysis 30-min demo with a 10-min Q&A |
Debdeep Mukhopadhyay (IIT Kharagpur) | LINK |
🌐 Zoom |
📺 Webinar |
MIMI 30-min demo, 10-min Q&A |
Patanjali SLPSK and Jonathan Cruz (UF) | LINK | |||
FRI. JUL 9, 2021 11:00AM-12:20PM ET |
Panel 2: Side-channel leakage - Can CAD come to the rescue? |
Moderator: Patrick Schaumont (WPI) Panelists: |
🌐 Zoom |
📺 Webinar | |
FRI. AUG 13, 2021 11:00AM-12:20PM ET |
Malware Detectors 30-min demo, 10-min Q&A |
Kanad Basu (UT Dallas) | LINK |
🌐 Zoom |
📺 Webinar |
Introduction to Common Evaluation Platform (CEP) 30-min demo, 10-min Q&A |
Brendon Chetwynd (MIT Lincoln Lab) | LINK | |||
FRI. SEPT 10, 2021 11:00AM-12:20PM ET |
Hands-on Hardware Assurance: Demos of Select Experiments on a Flexible Training Platform 60-min demo, 10-min Q&A |
Reiner Dizon and Christopher Vega (UF) |
🌐 Zoom |
📺 Webinar | |
FRI. OCT 8, 2021 11:00AM-12:20PM ET |
Panel 3: Security Assessment and Verification for Microelectronics - A New Future or More of the Same? |
Moderator: Sandip Ray (UF) Panelists: |
🌐 Zoom |
📺 Webinar | |
FRI. NOV 5, 2021 11:00AM-12:20PM ET |
SeqL: Scan Chain Locking and a Broad Security Evaluation 30-min demo, 10-min Q&A |
Seetal Potluri (NC State University) Aydin Aysu (NC State University) |
LINK | 🌐 Zoom | 📺 Webinar |
Protecting against Untrusted COTS 30-min demo, 10-min Q&A |
Tamzidul Hoque (University of Kansas) | ||||
FRI. FEB 18, 2022 11:00AM-12:20PM ET |
SAIL: Machine Learning Attack on Logic Locking and Obfuscation 30-min demo, 10-min Q&A |
Prabuddha Chakraborty (UF) |
|
🌐 Zoom | 📺 Webinar |
PLAN: Power Side-Channel Evaluation 30-min demo, 10-min Q&A |
Ayalur Lakshmy and Chester Rebeiro (IIT Madras) | ||||
FRI. APR 22, 2022 11:00AM-12:20PM ET |
QFlow: Quantifying Data Leakage for RTL IP 30-min demo, 10-min Q&A |
Lennart Reimann (RWTH Aachen University) | LINK 1 | 🌐 Zoom | |
QIF-RTL: A New Secure Hardware Description Language 30-min demo, 10-min Q&A |
Xiaolong Guo (Kansas State University) | LINK 2 | |||
FRI. JUN 10, 2022 11:00AM-12:20PM ET |
Panel 4: Securing Crypto in the Pre & Post-Quantum Era: Opportunities and Challenges? 80-min panel |
Moderator: Debdeep Mukhopadhyay (IIT Kharagpur) | 🌐 Zoom | ||
FRI. AUG 12, 2022 11:00AM-12:20PM ET |
Panel 5: Hardware Assurance vs. AI: Friend or Foe? 80-min panel |
Moderators: Ankur Srivastava (U. of Maryland) and Swarup Bhunia (U. of Florida) | 🌐 Zoom | ||
FRI. OCT 07, 2022 11:00AM-12:20PM ET |
DANA: Universal Data Flow Analysis for Gate-Level Netlist Reverse Engineering 30-min demo, 10-min Q&A |
Nils Albartus (Ruhr University Bochum) |
LINK 1 |
🌐 Zoom |
|
Hardware Trojan Benchmarks: From Chips to PCB 30-min demo, 10-min Q&A |
Jonathan Cruz (University of Florida) | LINK 2 |