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 CADforAssurance tool training webinars starting in February 2021. Additional information on these webinars is available at the CAD for Assurance website at https://cadforassurance.org/.

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

 
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

 
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

 
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 Reggazzoni, U Amsterdam

 

🌐 Zoom

 
FRI. AUG 13, 2021
11:00AM-12:20PM  ET
Malware Detectors
30-min demo, 10-min Q&A
Kanad Basu (UT Dallas) LINK

🌐 Zoom

 
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 Naren V R Masna (UF)  

🌐 Zoom

 
FRI. OCT 8, 2021
11:00AM-12:20PM  ET

Panel 3: Security Verification: The Evolving Landscape
80-min panel

Moderator: Sandip Ray (UF)  

🌐 Zoom

 
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  
Protecting against Untrusted COTS
30-min demo, 10-min Q&A
Tamzidul Hoque (University of Kansas)

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

Director, Warren B. Nelms Institute for the Connected World
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