Thanks for visiting! I'm Jay Lorch, a Senior Principal Researcher in the Systems Research Group at Microsoft Research. My research focuses broadly on computer systems, with particular emphasis on distributed systems, software verification, trusted computing, privacy, cloud computing, and energy management.
I love projects that involve building systems, and a major interest of mine is achieving fault tolerance in those systems. I've shown how to deal with server failures in SMART and Shroud, trusted-component power failures in TrInc and Memoir, and improperly behaving participants in decentralized systems like GreenUp and FARSITE. I'm an expert in Paxos and its many variants, having used it in several systems; most recently, in the IronFleet project, my team and I produced the first-ever implementation of Paxos with a machine-checked proof of both its safety and liveness.
In much of my work, I leverage the power of trusted computing to solve difficult problems in security and privacy. The TrInc work shows how a simple trusted device could be leveraged for a great variety of purposes, including efficiently tolerating Byzantine faults, preventing Sybil attacks, preventing BitTorrent under-reporting, and allowing untrusted entities to provide trusted services. The Shroud system demonstrates how a server can use secure hardware to hide difficult-to-hide information hackers can otherwise glean from access patterns, such as who's friends with whom and where someone is looking for local information. And, the Ironclad project shows how to use full-system software verification to enable provably justifiable trust in services that run on trusted platforms in the cloud.
|Home address:||Work address:|
|15245 NE 3rd Pl||1 Microsoft Way|
|Bellevue, WA 98007||Redmond, WA 98052|
|jaylorch "at" gmail "dot" com||lorch "at" microsoft "dot" com|
One of my main hobbies is solving one-of-a-kind puzzles where the first step in solving is to figure out what's going on with the puzzle. So I regularly participate in P&A Magazine, Puzzled Pint, Microsoft Puzzle Hunt, Microsoft Puzzle Safari, MIT Mystery Hunt, Shinteki, and DASH. I've also written a lot of puzzles for events like these, which you can find here.
I also enjoy playing board games with friends. Notable favorites include Dominion, Codenames, Tigris and Euphrates, and Zendo.
I last updated my CV in May 2020.Download CV