Nationally Critical Infrastructure needs Secure Hardware | Dr. Joseph Kiniry | hardwear.io USA 2019
Joseph Kiniry – 2022 Outstanding Advocacy & Achievement Award Recipient
Keynote3 Joe Kiniry Haunting Tales of Applied Formal Methods from Academia and Industry
2015 Voting and Elections Summit 05 Joseph Kiniry
#40 Secure Voting - Joe Kiniry
DEF CON 26 VOTING VILLAGE - Joseph Kiniry - Trustworthy Elections
2023 ERI Summit: Security in the Face of Microelectronics Supply Chain (Kiniry)
FireSim in High-Profile Action—FETT: DARPA’s First Ever Bug Bounty Program - 1st FireSim/Chipyard WS
Formal Methods Need Not Be Black Magic
6 Writing and Running Unit Tests
Keynote Panel Opportunities and Challenges in Security for Open Source Hardware
Formal Assurance for RISC-V Implementations
1 Installing Eclipse
7 Test Coverage with Assertions
5 Code Coverage
2 Installing Plugins
Hardware Security By Design | CXO Panel Discussion | hardwear.io USA 2019
Washing Dishes
Secret Pilotdude video from inside the MCR rig at Washougal Motocross
ERI Summit 2019: Secure Systems: Voting / Future Technology: SSITH