|
Background
|
|
I do research and teaching in the School of Computer Science at the University of Birmingham (UK).
I currently teach a 1st year module called Information and the Web, and previously taught a 2nd year module called Software Systems Components. My teaching covers more advanced techniques for software development and for structuring, representing, exchanging and presentating information. My primary aim is always to bring the abilities of my students to industry standard, and to construct modules which they and I enjoy.
My
research centres on Computer Security and considers mechanisms to guarantee the
safe execution of untrusted software. I focus on designing policy languages and models of access control which transform software to conform to security policies. Approaches that determine the context in which program events occur are central to my work.
My PhD
thesis aims to simplify the process of writing
software security policies and simultaneously
expand the space of constraints on program
execution which one can express and monitor, making software profiling more accurate. My PhD is supervised by Dr. Mark
Ryan.
|
|
Research Interests
|
|
See my
Publications ::
Draft
Publications :: Posters ::
Talks
- Secure
programming: languages, compilers,
stack inspection, execution
monitoring, aspect-oriented
programming
- Systems and
frameworks for security policy
specification and program
instrumentation
- Access
control and sandboxing for
third-party applications, specifically
those running on mobile
devices
- Language-based
security and information
flow
- Issues surrounding
human interaction with
policies
I am very interested in
bringing new technologies to market,
specifically in my area of Computer
Security. It seems that a lot of great work
is done here but very little ever makes it
off the page! Intellectual property,
patents and IT law all fascinate me. I am now realising my ambitions in this area as a consultant to OrbisIP.
|
|
|
Teaching
|
|
I aim to bring
the software design and development abilities of
my students as close to our industry's
requirements of graduates as is possible. For the
past four years, I have facilitated this by
teaching Software Systems Components. Much of the
content herein was developed by me (with
assistance from those listed) - please contact me if you wish to reuse it.
In the 2008/2009 session, I am teaching:
Semester I -
2008/2009:
Semester II -
2008/2009:
|
|
10th International
Conference on Information and Communications
Security (ICICS 2008)
|
|
|
|
Formal Verification and
Security Group
|
|
The
Formal Verification and Security Group at
Birmingham works on the application of formal
verification methods to systems and mechanisms of
real-world complexity, with special attention to
security. The group's research interests are
security protocols, applied cryptography,
access control systems and
software security. I do work in the latter
two (hyperlinked) areas.
Together with Ben Smyth, I
organise the School's Computer Security Reading
Group (CSRG). In 2009, the
group will meet every Tuesday at 12:00 in Room 245. Anyone is
welcome to join.
|
|
Research Students Webpage Competition, 2008
|
|
|
| The opinions which I express within
this site are not guaranteed to reflect those of
the University of Birmingham and / or its School of
Computer Science |
|
|
Search
Tools
|
|
Google: |
|
|
Wikipedia
browser ::
click here
|
|
Wikipedia: |
|
|
Andrew
Brown :: 2009
|
