Symbolic security protocol verifiers have reached a high degree of automation and maturity.
Today, experts can model real-world protocols, but this often requires model-specific …

Lightweight physical layer security schemes that have recently attracted a lot of attention
include physical unclonable functions (PUFs), RF fingerprinting/proximity based …

Trusted Execution Environments such as Intel SGX provide software applications with
hardware support for preventing attacks from privileged software. However, these …

As an essential technology underpinning trusted computing, the trusted execution
environment (TEE) allows one to launch computation tasks on both on-and off-premises …

Ensuring the integrity of a remote app or device is one of the most challenging concerns for
the Android ecosystem. Software-based solutions provide limited protection and can usually …

Automatic security protocol analysis is a fruitful research topic that demonstrates the
application of formal methods to security analysis. Several endeavors in the last decades …

Abstract Trusted Execution Environment (TEE) has been widely used as an approach to
provide an isolated storage and computation environment for various protocols, and thus …

AMD Secure Encrypted Virtualization technologies enable confidential computing by
protecting virtual machines from highly privileged software such as hypervisors. In this work …

Application interfaces allow apps to communicate with each other or use resources. Several
platforms, namely: browser, mobile and computer, offer various instances of these interfaces …

In recent years many security attacks occur when malicious codes abuse in-process memory
resources. Due to the increasing complexity, an application program may call third-party …