Gabriel Naval Email & Phone Number

New York, United States

• Developed early security measures that involved cryptographic keypairs, certificates, and signing for authentication and authorization purposes in Java for a new templatization service• Added documentation functionality for producing and deploying new templates• Fixed bugs and wrote tests for various codebases

Maryland, United States

• Instructed a high school student in Multivariable Calculus and Differential Equations

Remote

• Integrated and deployed two static code analysis scanners into the CI/CD pipeline to detect security vulnerabilities across all repositories in our codebase• Fixed functionality and bugs in Cloudflare Worker scripts that notified developers of these vulnerabilities• Documented scanner configuration details in FAQs and tutorials for developer use

Maryland, United States

• Collaborated with 2 graduate students to study censorship architecture, culminating in a paper discussing our novel findings: the discovery of parallel HTTPS censorship systems• Deployed Geneva, a Python program that automatically discovers novel packet-manipulation based strategies that evade censorship, along HTTPS+SNI connections• Reverse-engineered censorship-evasion strategies to gain insight on censorship infrastructure• Culminated in a paper that was accepted by the ACM SIGCOMM 2021 Workshop on Free and Open Communications on the Internet (FOCI 2021)More information at https://geneva.cs.umd.edu.

• Collaborated with another intern to examine two algorithms for finding maximal independent sets, which has applications in network analysis • Learned Nim, programmed in multithreaded trials, and discussed Turán's theorem with Professor William Gasarch

Bachelor'S Degree, Computer Science

Activities and Societies: ClimbingAdvanced Cybersecurity Experience for Students (ACES) Honors Program

High School Diploma

Activities and Societies: Boys Varsity Volleyball Team