close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Osmosis for DoD | October 13–14, 2020 | Virtual Event

Join OneSpin for a Special Department of Defense Users' Group Event


What is Osmosis?

Osmosis stands for OneSpin Meeting on Solutions, Innovation, & Strategy. It is a users’ group for customers and partners of OneSpin Solutions, provider of electronic design automation (EDA) tools for integrated circuit (IC) integrity verification. Osmosis signifies balance and two-way movement—in this case, of technical knowledge and expertise among OneSpin's experts and users. If IC integrity is important to you—particularly in the areas of functional correctness, safety, security, or trust—then this event is for you!

Osmosis for DoD is a two-day virtual event for current and prospective users of OneSpin 360™ verification solutions within the Trusted Silicon Stratus (TSS) environment and across the broader Department of Defense community.


Day 1 At-A-Glance: OneSpin Users Showcase

Tuesday, October 13, 2020 | 10:00 AM EDT 

Opening Remarks: Len Orlando, Air Force Research Laboratory (AFRL)

Keynote Address: Matthew Casto, Office of the Secretary of Defense

User Case Studies:


Day 2 At-A-Glance: OneSpin Experts All-Access

Wednesday, October 14, 2020 | 10:00 AM EDT 

Keynote Address: Raik Brinkmann, President & CEO, OneSpin

Technical Deep Dives:

  • Functional Correctness
  • Trust & Assurance
  • RISC-V
  • FPGA/FPGA Retargeting
  • Certification Training for Formal Verification Methodologies

Breakout Sessions with OneSpin's Experts:

  • The Ins and Outs of Trust & Assurance
  • RISC-V and the Open Source Movement
  • Safety and Standards in Mil/Aero: What's Next for Hardware Safety Compliance?

Read on for complete event details and to register!

Full Agenda for Osmosis for DoD

Click to expand each day's agenda details

All times are shown in Eastern Daylight Time (EDT) and are subject to change

Meet Our Speakers

Get to know our keynote speakers, users, and experts

Speakers are listed in order of appearance on the program

Len Orlando | Air Force Research Laboratory

Air Force Hardware Assurance Lead, Office of the Secretary of Defense, Trusted and Assured Microelectronics (T&AM) Program

Len Orlando graduated from the Ohio State University in 2001 with a Bachelor of Science in Electrical and Computer Engineering. After receiving his degree, Mr. Orlando joined the Air Force Research Laboratory Sensors Directorate, developing next generation digital receiver exciter technologies in advanced SiGe bipolar, CMOS, and III‐V foundry offerings. 

In 2008, Mr. Orlando received his Master’s Degree in Electrical Engineering from the University of Dayton with his thesis entitled, “Digitally Controllable Variable Gain and Variable Slope High Performance X‐Band Amplifier.” Over the course of his AFRL career, Mr. Orlando has provided subject matter expertise, participating as part of a select government team on DARPA TEAM, NeoCad, HEALICs, COSMOS, TRUST and IRIS programs.

Today, Mr. Orlando is the AF Hardware Assurance lead for the Office of the Secretary of Defense (OSD) Trust and Assured Microelectronics (T&AM) Program contributing to the DoD’s renewed interest in state-of-the-art microelectronics for national security.

Mr. Orlando will welcome attendees to the first day of Osmosis for DoD with opening remarks for the Department of Defense and Trusted Silicon Stratus communities. 

Matthew Casto | Office of the Secretary of Defense

Director, Trusted and Assured Microelectronics (T&AM) Program

Dr. Matthew Casto serves as Director for the Trusted and Assured Microelectronics (T&AM) Program within the Office of the Secretary of Defense for Research and Engineering. Dr. Casto manages the DoD's T&AM and Microelectronic Innovation for National Security and Economic Competitiveness (MINSEC) Initiative, developing a new trust and assurance approach and delivering microelectronics innovation to realize the top modernization priority of the DoD.

Dr. Casto provides leadership, vision, and direction in the development of Future Years Defense Program (FYDP) execution, including planning, programming, and budgeting of resources, facilities, and personnel across all DoD services, agencies, and the intelligence community. Dr. Casto has held various government technical leadership positions in his 18+ years of civil service, including Special Assistant to the AFRL Commander and Chief Scientist, Chief of the Air Force Research Lab Sensors Directorate Trusted Electronics Branch, and as the Air Force's Principle Engineer and Hardware Assurance technical lead for the DoD Joint Federated Assurance Center. Matt holds BS and MS degrees from Wright State University and a PhD in Electrical Engineering from The Ohio State University. He is a member of the IEEE and has authored 40+ publications, patents, and invited talks on microelectronics, semiconductors, and advanced electronics technology.

Dr. Casto will open the first day of Osmosis for DoD with a keynote address to the Department of Defense and Trusted Silicon Stratus communities. 

Ratish Punnoose | Sandia National Laboratories

Distinguished Member of Technical Staff

Dr. Ratish Punnoose is a Distinguished Member of Technical Staff at Sandia National Laboratories in Livermore, California. He provides technical leadership on the design and development of embedded systems for weapon components and has helped to incorporate formal verification as part of Sandia's digital design process. 

Ratish leads much of the formal verification of ASIC-based designs at Sandia. He is part of a group of Sandia researchers developing formal tools to specify system behavior and to create certifiably correct systems for high-consequence applications. Ratish has a PhD in Electrical and Computer Engineering from Carnegie Mellon University.

At Osmosis for DoD, Ratish will present a case study entitled Ensuring Completeness of Formal Verification with GapFree: To End or Not to End (Property Writing).

Garrett Chan | The Aerospace Corporation

Engineering Manager

Garrett Chan is the Section Manager for the Hardware Security & Specialty Engineering section within Cyber Defense Solutions Department at the Aerospace Corporation. In this role, he leads the development of prototypes and providing customer support in areas relating to: embedded and trusted computing, integrated circuit vulnerability analysis, supply chain risk management, hardware Trojans, and more. 

Prior to joining Aerospace, Garrett worked as an ASIC/FPGA Verification Engineer at NASA JPL, supporting missions such as Europa Clipper. Garrett also has previous experience from time spent as a Senior Electrical Engineer at Raytheon, as well as ASIC Design and Verification Engineering work at Emulex. Garrett holds both a MS and BS in Computer Engineering from California State University Long Beach.

At Osmosis for DoD, Garrett will present a case study entitled Evaluation of OneSpin Trust Assessment Platform for Hardware Trojan Detection.

Vikram Rao | The Aerospace Corporation

Senior Engineering Specialist

Vikram Rao joined the Aerospace Corporation in 2002, after graduating with an MS in Electrical Engineering from the University of Illinois at Urbana-Champaign. Rao spent 11 years in the Digital and Integrated Circuit Electronics Department, where he performed FPGA and ASIC quality audits and risk assessments, and FPGA prototyping for proof-of-concept in support of several national security space programs. 

Since joining Aerospace’s Cybersecurity Subdivision in 2014, Rao founded the Hardware Security and Specialty Engineering (HSSE) section to address the growing hardware assurance gap in the mil/aero industry. He led a team focused on hardware security guidance, vulnerability and risk assessments, and independent hardware security research, with special emphasis on hardware Trojans. In his new role as project lead, Rao and the HSSE section are supporting ASIC/FPGA assurance efforts across multiple national security space and terrestrial programs.

At Osmosis for DoD, Vikram will present a case study entitled Evaluation of OneSpin Trust Assessment Platform for Hardware Trojan Detection.

Nick Darby | Battelle Memorial Institute

Data Scientist

Nick Darby, a graduate of The Ohio State University and Miami University, has been a data scientist at Battelle Memorial Institute since 2017. He is the primary technical integrator for Battelle’s contributions to Trusted Silicon Stratus for Air Force Research Laboratory (AFRL). He also serves as the AI/ML lead for Battelle’s Rapid Assembly Inspection for COTS Security (RAICS) tool. 

Nick is involved in the microelectronics assurance community as a member of the SecureAmerica roadmap working group, and the TAME Forum’s Hardware Assurance and Weakness Collaboration and Sharing (HAWCS) working group.

At Osmosis for DoD, Nick will present a case study entitled Leveraging OneSpin for Automated Risk Assessment.

Christopher Diltz | Edaptive Computing Inc.

Senior Verification Engineer

Dr. Christopher Diltz is a senior verification engineer at Edaptive Computing Inc (ECI), specializing in formal verification methodologies. He has three years’ experience of applying a broad suite of formal verification capabilities to address problems for both block level and system level verification. His skill set includes verification capabilities, such as scoreboard checking, equivalence checking, and RISC-V verification. 

Chris also leads the hardware verification training program at Edaptive Computing. The hardware verification training program is part of ECI’s efforts towards workforce development to train a professional workforce for assured and secure microelectronics.

At Osmosis for DoD, Chris will present a case study entitled TSS SoC Sign-Off Methodology and an introductory overview of Certification Training for Formal Verification Methodologies in collaboration with OneSpin.

Paul McHale | Edaptive Computing Inc. 

Principal Verification Engineer

Paul McHale is a principal verification engineer at Edaptive Computing Inc (ECI). He has over 25 years of experience as an electrical engineer spread across a unique set of roles. As the ever-changing industry gave birth to giants like Microsoft, the subsequent market reshaping created orthogonal opportunities preventing conflict with current or previous employment.

Embracing the diversity of opportunity resulted in a pleasant range of experiences from small, high-velocity startup like environments to large international corporations. From career-track centric employment to working at his own consulting company to working for a rep firm consulting group, most valuable to Paul is the very unique group of talented people he has been fortunate enough to work with on this exciting journey.

At Osmosis for DoD, Paul will present a joint case study with Air Force Research Laboratory (AFRL) entitled Securing RISC-V Military Projects.

RSVP for Osmosis for DoD 2020

Enter your details below to reserve your virtual seat for Osmosis for DoD 

*Sensitive content may be presented at this event. All attendees must be United States citizens and may be requested to provide appropriate proof of identity, such as a passport. We appreciate your cooperation and apologize for any inconvenience. If you are not a US citizen, please email us to request attendance at one of our global Osmosis events.