Name:	Dr D Distefano
Organisation:	Queen Mary University of London
Department:	Sch of Electronic Eng & Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/K032011/1 Compositional Security Analysis for Binaries (P) EP/H011749/1 jStar: making java verification practical (P) EP/G006245/1 Adaptive Heap Analysis (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator