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 delighted to continue the series of virtual CAD for Assurance tool training webinars that started 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.

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.

Webinars

Date/Time (EST) Title Speakers/Moderators
Panelists
CAD Tools Registration Recordings

FRI. 17 NOV 2023
11:00AM-12:30PM  ET

Panel 8: AI Hardware Security

Moderators: Andrew Lukefahr (Indiana U.) and Prabuddha Chakraborty (U. of Maine)

Panelists:
-Chris Taylor, Battelle
-Hubertus Franke, IBM
-Aydin Aysu, NC State University
-Wayne Churaman, Army
-Chris Sozio, NSWC-Crane, Navy

  Zoom Webinar

FRI. 12 MAY 2023
11:00AM-12:30PM  ET

Panel 7: Microelectronics Supply Chain Security: What Can Save Us?

 

Moderators: Kanad Basu (University of Texas-Dallas) and Ioannis Savidis (Drexel University)

Panelists:
-Matthew Areno, Intel
-Saverio Fazzari, Booz Allen Hamilton
-Vipul J. Patel, Air Force Research Lab (AFRL)
-Ulrich Rührmair, LMU München
-Louise Sengupta, Northrop Grumman

 

 

? Zoom

? Webinar

FRI. 24 FEB 2023
11:00AM-12:30PM  ET

Panel 6: Hardware Security 2.0: What Are The New Frontiers?

Moderators: Domenic Forte (U. of Florida) and Qiaoyan Yu (U. of New Hampshire)

Panelists:
-David Kehlet, Intel
-Murthi Sadhasivan, Aerospace Corporation
-Serge Leef, Microsoft
-Rainer Leupers, RWTH Aachen University
-Chip Hong Chang, Nanyang Technological University

 

  ? Zoom ? Webinar
Date/Time (EST) Title Speakers/Moderators
Panelists
CAD Tools Registration Recordings
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 ? Webinar
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

 

 

Download Flyer: PDF  |  PPT

Moderator: Debdeep Mukhopadhyay (IIT Kharagpur)

Panelists: 
- Rosario Cammarota, Intel
- Ramesh Karri, New York University
- Sri Parameswaran, UNSW Sydney
- Apostol Vassilev, NIST
- Ingrid Verbauwhede, KU Leuven  

  ? Zoom ? Webinar
FRI. AUG 12, 2022
11:00AM-12:30PM  ET

Panel 5: Hardware Assurance vs. AI: Friend or Foe?
90-min panel

 

 

 

 

Download Flyer: PDF  |  PPT

Moderators: Ankur Srivastava (U. of Maryland) and Swarup Bhunia (U. of Florida)

Panelists: 
- Mike Borza, Synopsys 
- Vivian Kammler, Sandia National Lab
- Brian Knight, Microsoft
- Pompei Len Orlando, Air Force Research Lab (AFRL)
- Samuel M Weber, Office of Naval Research (ONR)  

  ? Zoom ? Webinar
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

? Webinar

Hardware Trojan Benchmarks: From Chips to PCB
30-min demo, 10-min Q&A
Jonathan Cruz (University of Florida) LINK 2
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)

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

The Chinese University of Hong Kong
10 (Asia and Pacific)

Yier Jin

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

CAD for Assurance Sponsored By

Technical Co-sponsors