Publication Type:

Conference Paper

Source:

Proceedings of the International Conference on Embedded Software, IEEE Press, Piscataway, NJ, USA (2018)

ISBN:

9781538655641

URL:

http://dl.acm.org/citation.cfm?id=3283535.3283550

Keywords:

Access control, capabilities, Embedded systems, Internet of things, IOT, programming language, refinement types, Security, security kernel, types

Abstract:

A programming language that provides the functions of a secure microkernel is proposed for embedded and IoT applications. Towards this purpose, a type system based on the capability model is proposed, in which resource classes are abstracted as capability classes. Our language enables static analysis of key properties including safety, security, power, and timing considerations.

Cite this Research Publication

Jayaraj Poroor, “Verticalthings - a Language-based Microkernel for Constrained IoT Devices: Work-in-progress”, in Proceedings of the International Conference on Embedded Software, Piscataway, NJ, USA, 2018.