Separation kernels are fundamental software of safety and security-critical systems, which
provide their hosted applications with spatial and temporal separation as well as controlled …

We have developed an early prototype of an ARINC 653 implementation using the
virtualization technology of the open source Xen hypervisor along with a Linux-based …

This work focuses on the study of constant-time implementations; giving formal guarantees
that such implementations are protected against cache-based timing attacks in virtualized …

Separation kernels provide temporal/spatial separation and controlled information flow to
their hosted applications. They are introduced to decouple the analysis of applications in …

Cloud computing is becoming more and more popular, but security concerns overshadow its
technical and economic benefits. In particular, insider attacks and malicious insiders are …

Cloud computing, enabled by virtualization technologies, has become an important
computing paradigm. However, by choosing the cloud computing model the customers give …

Virtualization promises significant benefits in security, efficiency, dependability, and cost.
Achieving these benefits depends upon the reliability of the underlying virtual machine …

首先综述了云计算平台的发展现状, 虚拟化关键技术以及云计算安全现状; 其次综述了近40
年来隐蔽信道分析在操作系统, 数据库系统, 网络系统领域的发展与研究成果; …

Virtualization promises significant benefits in security, efficiency, dependability, and cost.
Achieving these benefits depends upon the reliability of the underlying hyper visor. Hyper …

Separation kernels are key components in embedded applications. Their small size and
widespread use in high-integrity environments make them good targets for formal modelling …