Office: Wean Hall 4113 Phone: Please email me to schedule a call. Email: mmaasscscmuedu -- there is an '@' and two '.' missing, guess where they go LinkedIn: https://www.linkedin.com/in/mmaass
I am a fifth year PhD student in Software Engineering at the Institute for Software Research in the School of Computer Science at Carnegie Mellon University. I am co-advised by Bill Scherlis and Jonathan Aldrich. My research interests fall within the scope of security, semantics-based methods, evidence-based software assurance, multi-faceted software defense strategies, and techniques for preventing software vulnerabilities.
My thesis research focuses on sandboxing. Sandboxes are encapsulation mechanisms that impose security policies on software components. They are particularly useful in cases where components must be used but can't be trusted or verified. Sandbox these components to limit their behavior and verify the relatively simple sandbox instead. Others have spent the last few decades inventing new sandboxing mechanisms; my thesis focuses on making those mechanisms more secure and easier to use.
- 19-687 Principles and Practices of R&D Management
- 15-313/08-613 Foundations of Software Engineering (TA)
- 15-819 Program Analysis
- 15-214 Principles of Software Construction: Objects, Design, and Concurrency (TA)
- 15-740 Computer Architecture
- 15-745 Optimizing Compilers for Modern Architectures
- 17-807 Research Writing for Software Engineers
- 17-751 Models of Software Systems
- 08-734 Usable Privacy and Security