Pinned post
New blog on how to manage stress as a researcher: If you really are an impostor, it's not a syndrome. theexclusive.org/2018/09/impost…
Latest posts 5
Delighted to share the the work of my team at
@GoogleDeepMind: formally verifying a real-world implementation of the #Signal cryptographic protocol at the machine-code level. The proof was done using AlphaProof Code, our new AI framework for formal specification and verification.
@GoogleDeepMind: formally verifying a real-world implementation of the #Signal cryptographic protocol at the machine-code level. The proof was done using AlphaProof Code, our new AI framework for formal specification and verification.
Our teams put Gemini 4 Carbon to work on a major security challenge: mathematically proving the code underlying the Signal protocol.
Using AlphaProof Code, @GoogleDeepMind researchers guided agents to verify the protocol down to compiled device code, closing the gap where real bugs hide. The result:
- Gemini 4 Carbon generated over 6M lines of machine-checked Lean proofs
- years of expert manual verification compressed to just weeks
~1% of the codebase required human review (Lean automatically checked the rest)
This is helping unlock scalable formal verification for building secure software, laying the groundwork to fundamentally shift the advantage to defenders. We’re open sourcing the results for the security community.View quoted post on X
New blog! Advice about career and creativity for researchers and engineers. This time: What my PhD in computer science taught me about gardening. theexclusive.org/2025/07/phd-ga…
www.theexclusive.org What I Learned about Gardening from my PhD in Computer Science Several years ago, I moved into a house with a garden. My PhD was in computer science, so it did not have much to do with gardens, or plants, or even sunlight. It still helped me in the garden.... Very excited to share this update about our team's work on AI for security!
Joint work with @miltos1 @xennygrimmato_ @dancherp and many others from GDM and Google Project Zero!
To learn more about our agent Big Sleep, check out this blog post: googleprojectzero.blogspot.com/2024/10/from-n…
Joint work with @miltos1 @xennygrimmato_ @dancherp and many others from GDM and Google Project Zero!
To learn more about our agent Big Sleep, check out this blog post: googleprojectzero.blogspot.com/2024/10/from-n…
projectzero.google From Naptime to Big Sleep: Using Large Language Models To Catch Vulnerabilities In Real-World Code Posted by the Big Sleep team Introduction In our previous post, Project Naptime: Evaluating Offe... New from our security teams: Our AI agent Big Sleep helped us detect and foil an imminent exploit. We believe this is a first for an AI agent - definitely not the last - giving cybersecurity defenders new tools to stop threats before they’re widespread.View quoted post on X
This is a masterpiece! Highly recommended.
Making LLMs run efficiently can feel scary, but scaling isn’t magic, it’s math! We wanted to demystify the “systems view” of LLMs and wrote a little textbook called “How To Scale Your Model” which we’re releasing today. 1/nView quoted post on X
