links: Home - Academic Projects - Personal Projects - Hobbies

Hi, I'm Trevor!

I enjoy breaking things (legally of course!). That's why I am doing a PhD in privacy and security at Carnegie Mellon University's ECE department. I'm already somehow in my fifth (5) year and advised by Asst. Prof. Riad Wahby. I’ve also had the pleasure of working with Prof. Lujo Bauer & Prof. Rob Cunningham previously during my PhD.

Broadly, I'm interested in guaranteed privacy, algorithms, and cryptography, but I really like theoretical math too.

Feel free to cold email me at [first letter of first name][last name]+hi@[university’s domain], the +hi tag at the end makes sure it won't get filtered and I'll see it :). I usually respond to emails in a day or so during week days.

Academic Projects

1. CoCoT: Collaborative contact tracing by Trevor Kann, Lujo Bauer, and Robert K. Cunningham.
   • CODASPY’24 version (official) <- cite this version
   • Tech report version (KiltHub) <- read this version: longer, more detailed
   • Video recording of the talk
   • Simulation tool (GitHub)
2. High Assurance Industrial Systems (HAIS): a project with Idaho National Labs under MFANS.
   • DATUM famework for dynamic checking of protocol conformation
     • Amorim, et al. “Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation.” ICSS 2024
     • Amorim, et al. “UAV Resilience Against Stealthy Attacks.” ICUAS 2025
     • Amorim, et al. “Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.” NasaFM 2025
3. Interactive proofs of retrievability
   • Post quantum secure, publicly and privately verifiable proofs of a file’s retreivability. eprint coming soon hopefully.

Personal Projects

Keyboard

I've loved mechanical keyboards for a long time, I've decided to build my own finally. Once the plans are finished I'll open source it here!

Ideas

Here’s a list of free ideas that I’ve had. Feel free to use them.

Pool Calendar

The CMU pool lists all of its hours in text, so I’ve taken it upon myself to actively maintain a subscribable Google Calendar.

Water Polo

I’m treasurer on the water polo team. You should come out for a practice!

Outreach

I have some outreach materials in the works. One example can be found here as an introduction to cryptography.

Hobbies

Plants

I'm quite fond of my rubber tree Jimbo

Backpacking

Weight Lifting

My SymmetricStrength profile.

Water Polo

I'm not very good but love to play with the CMU men’s club team

Board Games

I'm interested in game design and how mechanics mesh with one another. I think emergent patterns from simple rules are extremely interesting - I particularly like the mechanics of Magic: The Gathering due to its flexibility, and social deduction games like Avalon for their depth of play. (If you think Avalon is a party game, you are mistaken). Lately, I think MIND MGMT and Heat are the best board games released in the last decade.