Cory Francis Myers

Work

Senior Software Engineer, SecureDrop, Freedom of the Press Foundation, New York (Feb 2022 – present)
Serve as a core developer and maintainer of the open-source SecureDrop whistleblowing system, used by newsrooms and civil-society organizations worldwide. Contribute to the design, development, and testing of the beta SecureDrop Workstation. Current projects include supporting the design of an end-to-end–encrypted version of SecureDrop; introducing formal methods for code correctness (TLA+) and protocol security (Tamarin); and leading ongoing efforts to improve the accessibility, internationalization, and localization of SecureDrop and the SecureDrop Workstation.

Internews BASICS Fellow, SecureDrop, Freedom of the Press Foundation, New York (Jun 2021 – Jan 2022)
Improved the accessibility of SecureDrop’s Web interfaces according to the findings of a previously-commissioned audit. Led the design and implementation of a continuous translation workflow for the SecureDrop Client. Optimized automated CI and testing workflows. Supported by Internews’s Building Analytical and Support Infrastructure for Critical Security (BASICS) program.

Principal, Prattein Technical Foundry (Jul 2014 – present)
Provide infrastructure and digital-security support to start-ups, non-profits, and civil-society organizations, specializing in secure environments and tools such as Qubes OS, SecureDrop, and Tails. Other projects have included architectural and security consulting, custom application development (Django, Flask, Node.js/Vue.js) and the management of AWS, Google Cloud, Heroku, and OpenStack infrastructure using CloudFormation/CDK, Salt, and Terraform. Member of the Toptal freelance network.

Network Architect, Trinity Mobile Networks, New Haven, Connecticut (Jan – Dec 2017)
Designed, built, and maintained virtualized and hybrid-cloud systems for development, testing, and production use of JumpnetSDN, Trinity’s software-defined network for mobile devices. Advised internally on matters of performance, scaling, security, and carrier-grade integration with customers’ underlay and upstream networks. Oversaw development of internal tools.

Systems Engineer, Trinity Mobile Networks, New Haven, Connecticut (Jun 2015 – Dec 2016)
Contributed to the architecture and prototyping of JumpnetSDN. As an early engineer, designed control-plane architecture and protocols, factored out libraries and microservices from monolithic prototype code, and introduced continuous-integration and continuous-deployment practices.

Research

Internet of Rights Fellow, ARTICLE 19, London (Apr 2023 – present)
Research and advocate for anti-censorship measures within the Internet Engineering Task Force, focusing on methods for protecting privacy-preserving overlay networks (e.g., Tor) from distributed denial-of-service attacks.

Undergraduate Fellow, Yale Information Society Project, New Haven, Connecticut (Jan – May 2015)
Helped train a machine-learning system to infer the political and rhetorical stance of public comments on the Federal Communications Commission’s 2015 rulemaking on network neutrality.

Publications and Talks

“A Usable Formal Methods Sample Problem from TEEP” (23 Oct 2023)
Internet-Draft co-authored with Hannes Tschofenig. Usable Formal Methods Research Group, Internet Research Task Force.

“Technical Research in/as Rights Advocacy” (31 Aug 2023)
Internet of Rights Fellowship, ARTICLE 19.

“Bridging Accessible and Non-Accessible Packet Cores” (29 Sep 2020)
US patent 10,791,005, co-invented and co-authored with Tyler Reynolds, et al.

“Overloading Address Space for Improved Routing, Diagnostics, and Content-Relay Network” (29 Oct 2019)
US patent 10,462,054, co-invented and co-authored with Stephen Hall.

Volunteer Service

Trustee, Telluride Association, Ithaca, New York (2013 – present)
Board service has included the vice presidency (vice chairship) of the board as well as chairships of committees responsible for IT infrastructure, strategic planning, and high-school programs.

Volunteer Field Technician, Nepal Wireless Networking Project, Nangi, Myagdi, Nepal (May 2013)
Maintained and upgraded solar-powered wireless installations in the villages of Darbang and Nistok.

Education and Certifications

Tech Stewardship Practice Program
Certificate program in integrating socio-ethical practices into technical work.

Yale College, New Haven, Connecticut
Bachelor of arts in philosophy, including significant graduate-level coursework. Thesis: “All That We Think Is Not a Thought: The Limits of Fregean Transformational Analysis.”

Deep Springs College, Deep Springs, California
Program of study.

Skills

Languages. Native English, intermediate written Attic Greek, basic written and spoken German, basic written and spoken Spanish.

Computer languages and frameworks. ECMA/JavaScript/TypeScript (Node.js, Vue.js), Python (Django, Flask), R, Scheme, Solidity, TLA+. Currently learning: Rust, Tamarin.

Professional and Community Memberships

Association for Computing Machinery

Public Interest Technology Group

Team CommUNITY (formerly Internet Freedom Festival)

Technologists for the Public Good