| |
|
|
 |
ISTeC
Distinguished
Lecture
in
conjunction with the Computer Science Department and the
Electrical and Computer Engineering Department Seminar
Series Balancing Security-Privacy and Functionality in Software Synthesis Speaker: Somesh Jha, Professor, Computer Science Department, University of Wisconsin When: 9:30AM ~ 10:45 AM Tuesday, April 23 Where: CSB 425 Contact: Indrakshi Ray (Indrakshi.Ray@colostate.edu) Abstract: The problem of implementing a secure program is an ideal problem domain for formal methods. In this talk, I will be using security as term that encompasses traditional security concepts and also privacy. Even a small error in the logic of a program can drastically weaken the security and privacy guarantees that it provides. Existing work on applying formal methods to security has focused primarily on applying verification techniques to determine if an existing program satisfies a desired security guarantee. However, the challenge is to synthesize correct software from the outset. However, the key issue here is to balance security and functionality (a secure software that does nothing is easy to synthesize. Just do nothing.) In this work, I will describe some of the projects that I have worked on that balance the two competing requirements (i.e., security-privacy and functionality). I will then describe some interesting open problems along these lines. Bio: Somesh Jha received his B.Tech from Indian Institute of Technology, New Delhi in Electrical Engineering. He received his Ph.D. in Computer Science from Carnegie Mellon University in 1996 under the supervision of Prof. Edmund Clarke (a Turing award winner). Currently, Somesh Jha is the Lubar Professor in the Computer Sciences Department at the University of Wisconsin (Madison), which he joined in 2000. His work focuses on analysis of security protocols, survivability analysis, intrusion detection, formal methods for security, and analyzing malicious code. Recently, he has also worked on privacy-preserving protocols and adversarial ML. Somesh Jha has published over 150 articles in highly-refereed conferences and prominent journals. He has won numerous best-paper and distinguished-paper awards. Prof Jha also received the NSF career award. Prof. Jha is the fellow of the ACM and IEEE. |