3 papers
cs.CR2026
Git Hash Chain Malleability
Jacob Ginesin
Git commit signing is widely entrusted to serve as evidence that a commit hash uniquely and immutably identifies a specific piece of signed content. We show this invariant does not…
cs.CR2026
Automated Channel Fault Analysis with Tofu
Jacob Ginesin, Max von Hippel, Cristina Nita-Rotaru
Distributed protocols are the linchpin of the modern internet, underpinning every internet service. This has in turn motivated a massive body of research ensuring the security, rel…
cs.CR2024
The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
Jacob Ginesin, Cristina Nita-Rotaru
Secure instant group messaging applications such as WhatsApp, Facebook Messenger, Matrix, and the Signal Application have become ubiquitous in today's internet, cumulatively servin…