Jacob H. Haven

(2010-2014) Stanford University
Computer Science
Computer and Network Security, Cryptography, Advanced Topics in Operating Systems, Networking, Compilers, Program Analysis and Optimization, Computer Architecture, Programming Languages, Automata and Complexity Theory, Computability and Logic, Abstract Algebra, Set Theory
(2008-2010) Gatton Academy of Mathematics and Science
Mathematics and Computer Science
  • (July 2019–November 2019) Systems Engineer at Namebase Leveraging DNSSEC/DANE and the Handshake blockchain naming system to establish a Certificate Authority-free trust model for identity and TLS
  • (2018-2019) Circumnavigating the world
  • (February 2017–February 2018) Senior Trust Engineer at Atlassian building distributed microservices. Built a distributed, high reliability, low latency RBAC authorization store using Go, Cassandra, Redis
  • (September 2014–March 2016) Systems Engineer at CloudFlare working on web and Internet security, contributing to nginx/OpenSSL, Keyless SSL, CFSSL, and Go crypto/tls standard library
  • (June 2016–December 2016) Distributed Systems Engineer working at Salesforce Infrastructure Security building PKI and cryptographic systems.​
  • (October–December 2013) SDE Intern at Amazon building service for distributed data collection and long term analysis of hotspots in S3 cloud storage system
  • (July–September 2013) Security intern at Mozilla adding support for the SPDY protocol to the OWASP ZAP webapp pentesting tool (See presentation here)
  • (April–June 2013) Security intern at VMware adding Secure Boot to virtual UEFI firmware across all products by implementing public key based authentication in virtual storage device (See poster here)
  • (January–April 2013) Security Infrastructure intern at Facebook working on mobile security, including prevention, detection, and removal of Android malware
  • (June–September 2012) Undergraduate Research building and implementing Lattice-based, Fully Homomorphic Encryption based on [Brakerski12] with Stanford CURIS resulting in a paper and poster (See poster here, See code here)
  • (August 2009–January 2010) Undergraduate Research into Cellular Automata and Group theory (See paper)
  • (2012–2014) Judge (Level 2) for Magic: The Gathering managing logistics for 200-1000 person tournaments, arbitrating disagreements on rules and policy, and mentoring other judges

Areas of Interest

Computer Security design/testing, Cryptography, Distributed and Embedded systems programming/design, Networking, Programming languages, Theory of Computation, Algebra, Linguistics, Astronomy