About
I’m a Brookline-based Software developer primarily interested in web and operating system development. I recently graduated with a Master of Science from Northeastern University, where I worked on Linux kernel security extensions in conjunction with MIT Lincoln Laboratory. In the past, I’ve worked on widgets for Amazon Web Services and mitigations for software timing channels at the University of Central Florida.
Experience
- Implemented changes to previous LLVM enforcement pass to support changes in temporal compartmentalization protection requirements.
- Extended Linux kernel code to enforce requirements with ARM PAC and MTE.
- Implemented an inter-procedural post-dominator calculation in Python to generate post-dominating nodes for Linux kernel modules.
- Modified implementation of existing LLVM pass supporting automatic enforcement of spatial compartmentalization framework.
- Taught students operating system principles and security practices through office hours and one-on-one instruction.
- Developed Linux kernel memory security tools utilizing features of Intel and ARM platforms and compiler-assisted security policies.
- Created React widgets and web consoles to simplify customer workflows in AWS Service Quotas and AWS Single Sign-On. Integrated widgets with internal RESTful APIs.
- Modified LLVM’s register allocator to support a side-channel free architecture.