Verified Security for the Morello Capability-enhanced Prototype Arm Architecture
Attributed to:
REMS: Rigorous Engineering for Mainstream Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-99336-8_7
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85128603370
Type: Book Chapter
Book Title: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (2022)
Page Reference: 174-203