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