REMS: Rigorous Engineering for Mainstream Systems

Stark, Ian (Principal Investigator)

School of Informatics

Status	Finished
Effective start/end date	1/03/13 → 29/02/20

Funding

Other: £676,549.00

Isla: Integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
Armstrong, A., Campbell, B., Simner, B., Pulte, C. & Sewell, P., 12 May 2023, In: Formal Methods in System Design. 63, p. 110–133 24 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process
Nienhuis, K., Joannou, A., Bauereiss, T., Fox, A., Roe, M., Campbell, B., Naylor, M., Norton, R. M., Moore, S. W., Neumann, P. G., Stark, I., Watson, R. N. M. & Sewell, P., 30 Jul 2020, 2020 IEEE Symposium on Security and Privacy (SP). San Francisco, CA, USA: Institute of Electrical and Electronics Engineers, p. 1003-1020 18 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Extracting Behaviour from an Executable Instruction Set Model
Campbell, B. & Stark, I., 27 Mar 2017, Proceedings of the 16th Conference on Formal Methods in Computer - Aided Design (FMCAD 2016). Mountain View, CA, USA: FMCAD Inc, p. 33-40 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File