👋 Hi, I’m @sai-lalith 👀 I’m interested in Cryptography and Programming Languages 🌱 I’m currently learning proof writing and algorithms 💞️ I’m looking to collaborate on automated security proofs 📫 How to reach me akasailalith@gmail.com