 |
||||||||||
|
3rd ACM SIGPLAN Program Protection and
Reverse
Engineering Workshop (PPREW 2014)
The US Grant, San Diego, CA
January 25, 2014
Collocated with
POPL
2014
Keynote Speakers
At this year's workshop we are fortunate to hear from several leading researchers in industry and academia who have made significant contributions to the field of software protection and analysis.
Michael Costello, Research Scientist, Red Balloon Security
Michael
Costello is a research scientist at Red Balloon
Security (RBS), a firm that develops security
products and services for embedded systems.
Many of the technologies being developed at RBS
are based upon the Software Symbiote, a
host-base defense invented in the Intrusion
Detection Systems lab at Columbia University.
Michael came to RBS from Columbia where he
received his Master of Science in Computer
Science and then worked as research scientist.
He also holds bachelors degrees in Electrical
Engineering and Physics from Bucknell
University. Prior to starting graduate school, Michael spent a decade in the networking industry, which included work as a network engineer for a regional ISP, founder and owner of a wireless ISP and associate director of an academic IT department. He has published on firmware modification attacks, discovered two major vulnerabilities in Cisco IP phones and spoken on various topics including polyspecies malware propagation. .
Stephen Magill, Institute for Defense Analysis (IDA)
Stephen Magill is a research scientist at the IDA Center for Computing Sciences (CCS), a federally funded research and development center that assists the United States Government in addressing important national security issues. He received his Ph.D. from Carnegie Mellon University, where he developed Thor, a tool for automatic program analysis using separation logic that is capable of verifying a rich combination of program properties including memory safety, termination, and arithmetic. He will be discussing Cinquecento, a language for debugging and other program inspection tasks developed at CCS.
Axel Simon, Technische Universitat Munchen (TUM)