A Proposal for Security Assessment of Trustzone-M based Software

Reference : A Proposal for Security Assessment of Trustzone-M based Software


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/40975

Title :	A Proposal for Security Assessment of Trustzone-M based Software
Language :	English
Author, co-author :	Iannillo, Antonio Ken [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	State, Radu [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	2019
Main document title :	2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
Peer reviewed :	Yes
Event name :	2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
Event date :	from 28-10-2019 to 31-10-2019
Keywords :	[en] IoT ; Security ; Assessment ; Trustzone-M
Abstract :	[en] With the advent of the Internet of Things (IoT) paradigm, computing and networking capabilities are extending to devices that are not considered as computers, enabling them to interact with the physical world or other software entities with minimal or no human input. This fast abstract proposes a methodology for the security assessment of software based on TrustZone-M, the ARM hardware security extension for microcontrollers. The methodology consists of the exploitation of a veriﬁcation and validation framework to automatically test TrustZone-M based software.
Permalink :	http://hdl.handle.net/10993/40975
Framework Programme / European Project :	H2020 ; 830927 - CONCORDIA - Cyber security cOmpeteNce fOr Research anD Innovation

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	Iannillo_ISSRE2019.pdf		Author preprint	91.46 kB	Request a copy

All documents in ORBi^lu are protected by a user license.