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, ...

The Center for Education and Research in Information Assurance and Security (CERIAS) is currently viewed as one of the world’s leading centers for research and education in areas of information and ...

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 ...

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 ...

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 ...

Postdoc, Computer Science, Purdue [NSF Center for Science of Information (CSoI) Fellow]. Postdoc, Biomedical Eng, Univ of Texas, Austin [American Heart Association (AHA) Fellow]. PhD, Biomedical Eng, ...

The 25th annual (1999-2024) CERIAS Security Symposium will bring together researchers, scientists, academics, and industry professionals to hear prestigious keynote addresses, thought provoking panel ...

Dr. Son’s research specializes in modeling and control of complex manufacturing and service enterprises and distributed federation of multi-paradigm simulations. He has authored/co-authored more than ...