EPSRC logo
Researcher Details
 
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