www.cerias.purdue.edu

CERIAS Blog

During the introduction, Professor Spafford discussed Mark Weatherford's experience prior to becoming Deputy Under Secretary for cybersecurity at DHS. He mentioned that Mr.Weatherford was CIO of the ...
www.cerias.purdue.edu

Attacking and Defending Modern Software with LLMs

In this talk, I will discuss recent research projects at the intersection of software security and automated reasoning. Specifically, I will present our work on assessing the exploitability of the ...
www.cerias.purdue.edu

Development of Verification and Validation System for Security Assessment of ECU Components

This research aims to develop a standardized verification and validation (V&V) system for the automated verification of cybersecurity requirements in vehicle electronics components. The V&V system ...
www.cerias.purdue.edu

Securing the Software Supply Chain: Theories, Measurements, Runtime Defenses, and Software Signing Infrastructure (PKI) for commercial and open-source software

Many software applications incorporate third-party packages distributed by package registries. Guaranteeing package provenance – knowledge of authorship – along this supply chain is a necessary part ...