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

Abstract

International audienceIn 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