cloudflare · vgonc · May 26, 2025 · May 26, 2025 · May 26, 2025 · May 29, 2025
diff --git a/about/people/jacob-kornerup.md b/about/people/jacob-kornerup.md
@@ -1,7 +1,7 @@
----
-title: Jacob Kornerup
-position: Head of Research
-status: current
----
-
-Jacob manages the Cloudflare Research team. His past positions include Director of Software Innovation at National Instruments (now a part of Emerson) and Assistant Professor of Computer Science at Southern Methodist University (SMU) in Dallas, Texas. He holds a Masters of Computer Science from the University of Aarhus, Denmark and Ph.D. From the University of Texas at Austin in Computer Science. 
+---
+title: Jacob Kornerup
+position: Head of Research
+status: current
+---
+
+Jacob manages the Cloudflare Research team. His past positions include Director of Software Innovation at National Instruments (now a part of Emerson) and Assistant Professor of Computer Science at Southern Methodist University (SMU) in Dallas, Texas. He holds a Masters of Computer Science from the University of Aarhus, Denmark and Ph.D. From the University of Texas at Austin in Computer Science.
diff --git a/img/people/isaac-khor.jpg b/img/people/isaac-khor.jpg
diff --git a/img/people/varun-gandhi.jpg b/img/people/varun-gandhi.jpg
diff --git a/outreach/academic-programs/interns/innocent-obi.md b/outreach/academic-programs/interns/innocent-obi.md
@@ -2,7 +2,6 @@
 title: Innocent Ndubuisi-Obi Jr
 position: Research Intern
 year: 2024
-status: current
 ---
 
 Innocent is a PhD student in the ICTD Lab at the University of Washington under the guidance of Kurtis Hiemerl. His research interests are both architectural and algebraic: he mixes traditional network and systems research and formal methods. First, in order to improve the interconnectivity and content delivery landscape in Africa his work proposes novel designs aimed at improving path quality, locality, and affordability. Second, using category theory and programming language techniques, his work explores the design of push-button approaches to verifiable security that can aid experts and non-experts alike in reasoning about the compositional security of their APIs.

diff --git a/outreach/academic-programs/interns/varun-gandhi.md b/outreach/academic-programs/interns/varun-gandhi.md
@@ -0,0 +1,12 @@
+---
+title: Varun Gandhi
+position: Research Intern
+year: 2025
+status: current
+---
+
+Varun is a Ph.D. candidate at Harvard, advised by Prof. Srini Devadas and Prof. Stephen Chong. He is broadly interested in systems security with an emphasis on building provably-secure, trustworthy, and scalable distributed systems. His research aims to address the fundamental challenge of secure remote computation in datacenters by developing scalable hardware-enforced isolation mechanisms and cryptographic verification techniques for trusted and verifiable computation.
+
+## Research Areas
+
+Security, Distributed Systems, Cryptography, Computer Architecture, Formal Methods
diff --git a/publications/Galicer2025.md b/publications/Galicer2025.md
@@ -0,0 +1,14 @@
+---
+title: "Auditing Key Transparency"
+year: 2025
+url: https://www.youtube.com/watch?v=JKkTZJPTh6o
+location: Real World Crypto Symposium 2025. Sofia, Bulgaria. March 2025.
+authors:
+  - Mari Galicer
+  - Kevin Lewi
+  - thibault-meunier
+related_interests:
+  - privacy
+---
+
+In 2023, WhatsApp announced its deployment of key transparency, a feature which aims to decrease the trust placed on a centralized server when distributing public keys used for end-to-end encrypted messaging. Similar deployments have been announced for Apple iMessage and ProtonMail. This talk discusses the integration between WhatsApp and Cloudflare to audit the key transparency data structure within a live environment.