Secure Programming with Jean Yang


Available on: iTunes | Android | RSS

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
Jean Yang is Assistant Professor of Computer Science at Carnegie Mellon University

Show Notes:
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/

@techwomenshow
@cybersecfactory
@jeanqasaur

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s