Governing Body Fellow, Kellogg College
Much of my research over the past five years or so has been driven by one overarching theme: the development of models and technologies to facilitate assured, appropriate data sharing and aggregation in complex environments. To this end, I am interested in the following:
- Issues of data security and privacy
- Models and frameworks for dynamic, context-sensitive access control
- Usable models for privacy-preserving data mining
Technologies we have developed include the sif middleware framework for the secure aggregation of data within heterogeneous environments, the Gauge analysis tool, and a policy tool for modelling and testing RBAC and XACML access control policies prior to deployment. Our evolving access control system combines all of these in support of assured, dynamic accesss control.
Other long standing interests include:
- Privacy and confidentiality
- Safety-critical systems
- The relationship between security and safety
- The application of formal description techniques (Z, CSP, Alloy) to the modelling and analysis of critical systems
- Security education
- Techniques for data sharing and aggregation to support data mining and visualisation
I gained a first class honours degree in Computer Science from the University of Wales, Swansea. Later, I received an MSc and a DPhil from the University of Oxford. I am currently a University Lecturer in Software Engineering at the University of Oxford, teaching on the Software Engineering Programme (a post I have held since January 2002). Previously I was a Principal Lecturer in Computing at Oxford Brookes University; prior to that I was a research officer in the Computing Laboratory (now Department of Computer Science).
We invite applications for two studentships funded by the Intel Corporation for a project called “Applying the Trusted Remote Environment (AppTRE)”. One student will study how Trusted Computing Architectures based on Intel’s new SGX technology can be used to implement ‘Trustworthy Remote Entities’ with strong guarantees of privacy protection. The other student will study algorithms and approaches to data analysis which can run in such contexts, processing privacy-sensitive data without unwanted disclosures.
Formal Relational Database Design: An Exercise in Extending the Formal Template Language
N. Wu and A. C. Simpson
In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
J. Jacobs and A. C. Simpson
In Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013). Vol. 8144 of Lecture Notes in Computer Science. Pages 265–280. Springer. 2013.
On privacy and public data: A study of data.gov.uk
A. C. Simpson
In Journal of Privacy & Confidentiality. Vol. 3. No. 1. Pages 51–65. 2011.