Matt Fredrikson

Matt Fredrikson Matt jennsbl Sun, 08/23/2015 - 22:42 Fredrikson Associate Professor 2126 Mehrabian Collaborative Innovation Center mfredrik@andrew.cmu.edu Computer Science Department Programming Languages Formal Methods Security and Privacy Faculty Saranya Vijayakumar Andy Zou My research is directed at understanding fundamental security and privacy issues that lead to failures in real systems. Some of the key outstanding challenges in this area lie in f