PRISM

PRISM

BLOG

Insights, tutorials, and updates from the PRISM community on AI, Biotech, Systems Computing, and Information Security.

infosecdata-breaches

How I accidentally found half a million exposed Aadhaar cards — and nobody cared

Documenting how a serious data exposure was discovered, reported, and ultimately addressed.

Jan 9, 2025
15 min read
formal-methodstype-theory

Introduction to Formal Verification

Why testing isn't enough: Exploring how mathematical proofs can guarantee software correctness in critical systems.

Jan 7, 2025
3 min read
HomeDomains