Franklin Harding

fharding1@protonmail.com Github PGP Key

I am a second-year computer science Ph.D. student at Brown University advised by Anna Lysyanskaya. My research has focused on cryptographic protocols that can be leveraged to create fairer and more privacy-conscious systems. My other interests include hardware, security, and lately formal verification. Away from a screen I climb, have been getting more into endurance sports, and have been teaching myself how to sew.

Papers:

• Karla Friedrichs, Franklin Harding, Anja Lehmann, Anna Lysyanskaya. Device-Bound Anonymous Credentials With(out) Trusted Hardware, 2025. [ePrint]
• Rutchathon Chairattana-Apirom, Franklin Harding, Anna Lysyanskaya, and Stefano Tessaro. Server-Aided Anonymous Credentials, 2025. [ePrint] [CRYPTO 2025]
• Franklin Harding, Jiayu Xu. Unforgeability of Blind Schnorr in the Limited Concurrency Setting, 2024. [ePrint] [Communications in Cryptology] [ArcticCrypt 2025]
• Willow Barkan-Vered, Franklin Harding, Jonathan Keller, and Jiayu Xu. On the Non-Malleability of ECVRF in the Algebraic Group Model, 2023. [ePrint]

Other projects:

• Formal Teal: a (very partial) formalization of Algorand's TEAL scripting language for Rob Lewis' formal proofs and verification class. Lean is amazingly powerful.
• Tigard: an open-source FT2232H hardware hacking tool that I designed with Joe Fitz and Piotr Esden-Tempski.
• Gloworm: a low-cost vision tracking module for FIRST robotics competitions designed around the RPi CM3+. I was annoyed by how expensive and closed-source the Limelight vision tracking module was so I designed my own. I had a run of about 50 units produced in China, painstakingly assembled them by hand, and sold them to various teams for no profit.
• Web challenges for the BSidesPDX 2019 Capture the Flag hacking competition
• Peregrine: a scouting app for FIRST robotics teams which is still used to this day!