CAD for assurance

CAD for Assurance

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 has developed over the past decade, including open-source license-free or ready-for-licensing tools, associated metrics, relevant publications, and video-demos.

We are also delighted to announce that a series of virtual CAD for Assurance tool training webinars starting in February 2021. Additional information on these webinars is available at the CAD for Assurance website at https://cadforassurance.org/.

If you are interested in receiving updates and emails about future CAD for Assurance webinars, please signup using this form http://eepurl.com/hxTwWf.

Webinars

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

Registration

Registration for the webinars is required. Please select the Zoom session for each webinar you wish to attend. For questions, please contact the organizers.

Organizers

Swarup Bhunia

University of Florida
United States
3 (Southeastern U.S.)

Gang Qu

University of Maryland
United States
2 (Eastern U.S.)

Tsung-Yi Ho

National Tsing Hua University
Taiwan
10 (Asia and Pacific)

Yier Jin

University of Florida
United States
3 (Southeastern U.S.)

CAD for Assurance Sponsored By

Technical Co-sponsors