HomeNational Research MapsLogosContactAdmin Login

Login

Insert
Update

Search
Show all
Show All

University of Edinburgh

School of Informatics

Street
ZIP
City
Country
Phone
Email
Homepage
Organisation Type
Employees


0

United Kingdom
+441316505177
David.Aspinall@ed.ac.uk
http://homepages.inf.ed.ac.uk/da
University
250+

 

Contact person

Dr David Aspinall

Field of Activity


3. FORENSIC SCIENCES
» Digital forensics

4. HORIZONTAL ACTIVITIES
» Policy development
» Testing and validation

6. INFORMATION & COMMUNICATION TECHNOLOGIES
» Electronic authentication
» Cyber security
» Software, Data Processing
» Network technologies

7. SOCIO-ECONOMIC SCIENCES AND THE HUMANITIES
» Human Sciences

Core competencies

Foundations of computer security (rigorous and mathematical) and applications (e.g. designing
cryptographic protocols, access control systems).

Software security, including foundations for secure programming and automatic program analysis
tools for security. In particular, new research on digital evidence, a mechanism for equipping a
program together with evidence (non-cryptographic) that it satisfies security and safety properties.

Security for mobile devices, applications and app stores.

Mechanisms and security analysis for human authentication, including improved password
authentication and similar mechanisms.

[ These are core competencies of myself and researchers in my group at University of Edinburgh, see
http://groups.inf.ed.ac.uk/security and
http://www.lfcs.inf.ed.ac.uk/research/mobility+security/]

H2020 Research Focus


RTD Experience

 Project CoordinatorProject PartnerProject Acronyms
National Security Research ProjectsVarious EPSRC projects related to security and software
program analysis
Other Security Research Projects FP6 project Mobius: Mobility and Security


Inserted / Updated
2013-03-06 / 2013-03-06