• Skip to main content
  • Skip to header right navigation
  • Skip to site footer
CAD4Security

CAD4Security

CAD4Security

  • Home
  • Contests
  • Technical Events
  • Outreach
  • CAD Tools
  • SoC Vulnerability Database
  • Trainings
  • News
  • Special Calls
  • Sponsors
  • Call For Contributions

Program

  • Home
  • Program Committee
  • Speakers
  • Program
  • Gallery
 
Time EventSpeakers/PanelistsSlides
08:20 - 08:30
Welcoming Remarks

Mark Tehranipoor – University of Florida

08:30 - 09:00Keynote Talk

Speaker: Jay Lewis – Microsoft
Title: Cloud & AI Technologies for Faster, Secure Semiconductor Supply Chains
09:00 - 09:20Invited Talk

Speaker: Nicole Fern – Riscure
Title: Hardware Shift-Left: Pre-silicon Fault Injection Evaluation and Power Side Channel Testing
09:20 - 09:40Invited Talk

Speaker: Dan Walters – Mitre
Title: Secure by Construction; Automating the verification and implementation of security features
09:40 - 10:00Visionary TalkSpeaker: Norman Chang – Ansys
Title: Multiphysics Simulation of EM and Thermal Side-Channels with ML-based Auto-POI Identification
10:00 - 10:30Coffee Break

10:30 - 10:50Invited Talk

Speaker: Jeremy Bellay - Battlle
Title: Composable Security: Towards Security from Silicon to Software and Systems
10:50 - 11:10 Invited Talk

Speaker: Beau Bakken – Caspia Technologies
Title: SoC Security: Making a Case for Automation
11:10 - 11:30 Invited Talk

Speaker: Ujjwal Guin – Auburn University
Title: SAT Attack Complexity Analysis
11:30 - 13:00 Lunch Break
13:00 - 13:20 Invited TalkSpeaker: Jason Oberg – Cycurity
Title: Establishing a Comprehensive Security Verification Program

13:20 - 13:40 Invited Talk

Speaker: Dan Benua – Cadence
Title: The Role of Formal Verification in Quantifiable Hardware Security Assurance
13:40 - 14:00
Invited Talk

Speaker: Hadi M Kamali – University of Florida
Title: Security of Hardware Generators: Secure from Construction
14:00 - 14:30 Coffee Break
14:30 - 15:30 Panel Discussion

Moderator:
Farimah Farahmandi
University of Florida
Panelists:
- Saverio Fazzari – Booz Allen Hamilton
- Sidney Allman – Marvell Technology
- Sohrab Aftabjahani – Intel Corporation
- Adam Cron – Synopsys
- John Goodenough – (Former ARM)
- Adam Kimura – Battelle

Title: Secure Silicon Development Lifecycle: Challenges & Solutions

15:30 - 16:30CAD Tool Demo
By Students
16:30 - 16:55Closing Thoughts by an industry of leaderSpeaker: Mike Borza – Synopsys

16:55 - 17:00Closing remarks

Farimah Farahmandi – University of Florida

CAD4Security

Navigation

EVENTS
CAD TOOLS
SPECIAL CALLS
CONTACT US




Copyright © 2022