Aditya Nori , a researcher in the Rigorous Software Engineering team at Microsoft Research India , just gave me a brief overview of his demo, entitled Specification Inference for Security, and as he made repeated references to the poster in his TechFest...
Filed under: Research, TechFest, Microsoft, 2009, infer, security, code, India, Aditya Nori, specification, Rigorous Software Engineering