Skip to Main content Skip to Navigation
Conference papers

Secure extensible type system for efficient embedded operating system by using metatypes

Abstract : In the context of extensible system for small secure em- bedded devices, we present an extensible type system for typed intermediate languages that unifies in a unique hier- archy type systems from various source high level languages and ensures integrity and confidentiality. To increase exe- cution efficiency and use flexibility, we propose a dynamic binding mechanism that allows the programmer to describe the bindings of his code without breaking the type system.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00546601
Contributor : Isabelle Simplot-Ryl Connect in order to contact the contributor
Submitted on : Tuesday, December 14, 2010 - 2:31:53 PM
Last modification on : Wednesday, February 23, 2022 - 11:58:02 AM

Identifiers

  • HAL Id : inria-00546601, version 1

Collections

Citation

Gilles Grimaud, yann Hodique, Isabelle Simplot-Ryl. Secure extensible type system for efficient embedded operating system by using metatypes. Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. pp.83--87. ⟨inria-00546601⟩

Share

Metrics

Record views

46