Security vulnerabilities are an important concern in systems. When we specify that we want certain information hidden for example our phone number or our date of birth, we expect the system to hide the information. However, this doesn’t always happen due to human error in the code because programmers have to write checks and filters across the program. In this episode Jean Yang, Assistant professor at the Computer Science Department in Carnegie Mellon, presents Jeeves, a language that allows programmers to specify security policies more intuitively making it harder to leak information that is meant to be protected. Jean explained how Jeeves was implemented and how it can be used. We also talked about what it takes to bring research concepts from academia to the industry and at the end we had a very interesting conversation on how to educate a broader audience on the importance of security. Jean was also named one of the 35 innovators under 35 by MIT Technology Review.
Jean Yang: https://www.cs.cmu.edu/~jyang2/
Jeeves Programming Language: http://projects.csail.mit.edu/jeeves/
Liquid Haskell: https://wiki.haskell.org/Liquid_Haskell
MIT Technology Review Innovator under 35: https://www.technologyreview.com/lists/innovators-under-35/2016/visionary/jean-yang/