In the context of extensible system for small secure embedded devices, we present an extensible type system for typed intermediate languages that unifies in a unique hierarchy type systems from various source high level languages and ensures integrity and confidentiality. To increase execution 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
['Gilles Grimaud', 'Yann Hodique', 'Isabelle Simplot-Ryl']
Secure extensible type system for efficient embedded operating system by using metatypes