Microsoft's annual TechFest reveals how theoretical mathematics transforms into tangible technological breakthroughs Security innovations shine with Merlin's algorithm analyzing program nodes to automatically infer security vulnerabilities The Bangalore team's creation maps data flows probabilistically to uncover 335 flaws in critical business applications Applied cryptography research...