Open AccessRemote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor
Author(s) -
Jonathan Certes,
Benoît Morgan
Publication year - 2021
Publication title -
communications in computer and information science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.16
H-Index - 51
eISSN - 1865-0937
pISSN - 1865-0929
DOI - 10.1007/978-3-030-87101-7_5
Subject(s) - computer science , microprocessor , embedded system , microcontroller , software , debugging , trusted platform module , protocol (science) , confidentiality , trusted computing , operating system , interface (matter) , computer hardware , simple (philosophy) , computer security , bubble , epistemology , philosophy , medicine , pathology , maximum bubble pressure method , alternative medicine
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom