bhumikamittal.in Software Engineer at Amuse Labs. Research interests: cryptography, program analysis and formal methods