Master's Thesis: Mechanized Proofs That Hardware Is Safe From Timing Attacks

I'm leaving my personal website fairly sparse for the time being. You can find me on Github or Mastodon if you'd like to see more of my stuff!