I am a member of the Confidential Computing group at Microsoft Research. I have an interest in Programming Languages, Verification, and Cryptography.
-
Microsoft
- Cambridge, UK
- aka.ms/sz
Pinned Loading
-
-
microsoft/gandalf_vs_gandalf
microsoft/gandalf_vs_gandalf PublicTurning Gandalf against itself. Use LLMs to automate playing Lakera Gandalf challenge without needing to set up an account with a platform provider.
-
microsoft/fides
microsoft/fides PublicFlow Integrity Deterministic Enforcement System. Mechanisms for securing AI agents with information-flow control.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.