Cryptographic libraries often feature multiple implementations of primitives to meet both the
security needs of handling private information and the performance requirements of modern …

Quantum cryptography allows one to transmit secret information securely, based on the laws
of quantum physics. It consists of (1) the transmission of physical particles like photons and …

Recent work has demonstrated the security risk associated with micro-architecture side-
channels. The cache timing side-channel is a particularly popular target due to its availability …

Cache-based side channel attacks pose a serious threat to computer security. Numerous
cache attacks have been demonstrated, highlighting the need for effective and efficient …

Memory allocation is a fundamental operation for managing memory objects in many
programming languages. Misusing allocated memory objects (eg, buffer overflow and use …

In cloud computing environments, virtual machines (VMs) running on cloud servers are
vulnerable to shared cache attacks, such as Spectre and Foreshadow. By exploiting memory …

Cache side channels constitute a persistent threat to crypto implementations. In particular,
block ciphers are prone to attacks when implemented with a simple lookup-table approach …

Hardware side-channels have been exploited to leak sensitive information. With the
emergence of deep learning, their hardware platforms have also been scrutinized for side …

Side-channel attacks are a threat to secure software running in a Trusted Execution
Environment (TEE). To protect Intel SGX applications from these attacks, researchers have …

We address the problem of constraint encoding explosion which hinders the applicability of
state merging in symbolic execution. Specifically, our goal is to reduce the number of …