My research is at the intersection of software engineering and formal methods, with an emphasis on developing rigorous program analysis and synthesis techniques to improve the security, robustness, ...

Johnny Wong, Les Miller, Vasant Honavar, Guy Helmer, Amit Lamba To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not ...

Gene Spafford joins HOU.SEC.CON founders Michael and Sam to chat about his start in cybersecurity and academia, his new book, and what to expect during his opening keynote at the conference.

Aravind Machiry, assistant professor in the Elmore Family School of Electrical and Computer Engineering, has received an National Science Foundation (NSF) Faculty Early Career Development ...

Purdue Polytechnic professor Chad Laux has been awarded the International Book of the Year Award by the International Lean Six Sigma Institute (ILSSI) for his coauthored book, “Lean Sustainability: A ...

Saurabh Bagchi, professor in the Elmore Family School of Electrical and Computer Engineering, is a finalist for the Institution of Engineering Technology (IET) Achievement Medal, a global award in ...

The Center for Education and Research in Information Assurance and Security (CERIAS), a cross-cutting institute at Purdue University, is the world’s foremost interdisciplinary academic center for ...

Note that if you are considering grad school at Purdue and want a tour, there are complementary tours available. Admission requirements for the various graduate programs are available at this page.

This site provides the comprehensive list of resources associated with Internet firewalls. The list is divided into sections to make finding information easier. Much of the information presented here ...

2017 - The John P. Lisack Early-Career Engagement Award, Purdue Polytechnic 2016 - Outstanding Research Award, Digital and Multimedia Sciences Section of the American Academy of Forensic Sciences 2015 ...

Subsumed by CERIAS in 1999, COAST (Computer Operations, Audit, and Security Technology) was a multiple project computer security research laboratory in Purdue's computer science department. Like ...