By Akshaj Anantharaman Gopalakrishnan

How can you prove that a secure protocol is actually secure? This blog shows how you can use ProVerif to verify a simple secure protocol with confidentiality and authentication.

By Manas G

Ever wondered how databases work and wanted to build one yourself? This blog walks you through building a simple key-value database using write-ahead logs.

By Murali Krishna

Internet Censorship is a thing. There's many mechanisms by which this censorship happens, one of which is via inspecting the supposedly unbreakable TLS Handshake itself. Read on to learn about a system specific to the TCP/TLS alternative QUIC to bypass this entirely, at breakneck speeds!

By Manas G

Agentic AI Systems have taken over the world. This blog goes over what Agentic AI is and how it is different from regular ML!

By Anirudh Revanur

By Manas G

AI revolution has changed the way we can observe. With this blog let's dive deeper into the world of CyberSecurity and how AI can be used to identify patterns

By Anirudh Revanur

By Anirudh Revanur

By Murali Krishna

Internet Censorship is a thing. There's many mechanisms by which this censorship happens, one of which is via inspecting the supposedly unbreakable TLS Handshake itself. Read on to learn about a system to bypass this entirely, at breakneck speeds!

By Anirudh Revanur

By Anirudh Revanur

By Murali Krishna

Anthropic (yes, the Claude company) decided to host a tiny little mini-CTF at their booth in the BSidesSF conference. Fortunately, they decided to open it to anyone. Read on to know how my experience solving it went!