Ning Xi

Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition

2017

Information flow security has been considered as a critical requirement on complicated component-based software. The recent efforts on the compositional information flow analyses were limited on the expressiveness of security lattice and the efficiency of …

BiTDB: Constructing A Built-in TEE Secure Database for Embedded Systems

2023

In this paper, we propose BiTDB, a built-in Trusted Execution Environment (TEE) database for embedded systems, to realize higher system availability while ensuring data confidentiality. With BiTDB, dilemmas the state-of-the-art research work on secure embedded …