CAD for Assurance

CAD for Assurance of Electronic Systems
 

Welcome to CAD For Assurance

Please click on any of the trust issues in the picture below for more information about them and their corresponding tools:

IP Trojan Attacks IP Piracy RTL Trojan Attacks Extract Design Features IC Trojan Attacks Overproduction Side-channel Attacks Probing Attacks Fault Injection Attacks RE Attacks
IP Trojan Attacks IP Piracy RTL Trojan Attacks Extract Design Secrets IC Trojan Attacks Overproduction Side Channel Attacks Probing Attacks Fault Injection Attacks RE Attacks

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-assurance) and HSTTC website (https://www.ieee-hsttc.org/)

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

 

 

Download Flyer: PDF  |  PPT

Moderators: Saverio Fazzari (BAH)

Panelists:
 - Rob Aitken, ARM
 - Brian Dupaix, AFRL
 - Matt French, ISI/USC
 - James Wilson, DARPA

 

🌐 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
30-min demo with a 10-min Q&A

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:
 - Serge Leef, DARPA
 - Jasper van Woudenberg, Riscure
 - Colin O’Flynn, NewAE
 - Francesco Regazzoni , U Amsterdam

 

🌐 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?
80-min panel

Moderator: Sandip Ray (UF)

Panelists:
 - Kevin Bush (MIT Lincoln Lab)
 - Sharad Malik (Princeton U)
 - Keith Rebello (Darpa)
 - Robert B. Jones (Intel)
- Jamin McCue (AFRL)

 

🌐 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)

LINK 1

 

LINK 2 

🌐 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

Latest Events

June 16, 2022
June 7, 2021
December 28, 2020

Latest News

June 15, 2020Published by Tamzidul Hoque, Kai Yang, Robert Karam, Shahin Tajik, Domenic Forte, Mark Tehranipoor, Swarup Bhunia at ACM Transactions on Design Automation of Electronic Systems (TODAES), 2019 [...] Read more...
June 15, 2020Published by Abdulrahman Alaql, Domenic Forte, Swarup Bhunia at IEEE Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2019. [...] Read more...
June 15, 2020Published by Haocheng Ma, Jiaji He, Yanjiang Liu, Yiqiang Zhao, Yier Jin at IEEE Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2019. [...] Read more...
June 15, 2020Published by Jason Portillo, Travis Meade, John Hacker, Shaojie Zhang, Yier Jin at IEEE Asian Hardware Oriented Security and Trust Symposium (AsianHOST), 2019. [...] Read more...
June 15, 2020Published by Tamzidul Hoque, Rajat Subhra Chakraborty, Swarup Bhunia at IEEE Design & Test, 2020. [...] Read more...
June 15, 2020Published by Tamzidul Hoque, Patanjali Slpsk, Swarup Bhunia at IEEE Consumer Electronics Magazine, 2020. [...] Read more...
June 15, 2020Published by Yajun Yang, Zhang Chen, Yuan Liu, Tsung-Yi Ho, Yier Jin, Pingqiang Zhou at ACM Transactions on Design Automation of Electronic Systems (TODAES), 2020. [...] Read more...

CAD for Assurance Sponsored By

Technical Co-sponsors