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 ...
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 ...
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 ...
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 ...
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 ...
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 contain all macros that BibTex supports.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback