| EPSRC Reference: |
EP/D029643/1 |
| Title: |
Security Tutorial Day at MFPS 21 |
| Principal Investigator: |
Jung, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Birmingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
04 May 2005 |
Ends: |
03 August 2005 |
Value (£): |
1,765
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Computer programming is a complex and difficult task. One source of errors is the misunderstanding of program language constructs by the programmer. In denotational semantics we try to find formalisms which allow us to describe unambiguously the meaning of programming languages.Beyond correctness of programs, there are many other properties that one may wish to achieve: speed of execution, ease of use, low memory requirements, tolerance against user errors, etc. One aspect that is widely seen as particularly important is security. This can mean security against hacking attacks, or security against malicious use by insiders, security against eavesdropping, and other things. We believe that a background in denotational semantics is particularly suited for successful security research, and indeed, many prominent security researchers started out as semanticists. The research proposal is for a small amount of money to allow the MFPS conference organisers to hold a Security Tutorial Day where interested semantics researchers can learn about the specifics and challenges of security research.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.bham.ac.uk |