Data transport across short electrical wires is limited by both bandwidth and power density,
which creates a performance bottleneck for semiconductor microchips in modern computer …

Intel has introduced a hardware-based trusted execution environment, Intel Software Guard
Extensions (SGX), that provides a secure, isolated execution environment, or enclave, for a …

The open-source RISC-V instruction set architecture (ISA) is gaining traction, both in industry
and academia. The ISA is designed to scale from microcontrollers to server-class …

Custom systems-on-a-chip (SoCs), where the processors and caches are a small part of the
chip, are becoming ubiquitous; it is rare today to find an electronics product at any scale that …

Recent attacks have broken process isolation by exploiting microarchitectural side channels
that allow indirect access to shared microarchitectural state. Enclaves strengthen the …

Abstract Succinct Non-interactive Arguments of Knowledge (SNARKs) allow an untrusted
prover to establish that it correctly ran some “witness-checking procedure” on a witness. A …

Modern computer systems are becoming faster, more efficient, and increasingly
interconnected with each generation. Thus, these platforms grow more complex, with new …

Memory corruption vulnerabilities are the root cause of many modern attacks. Existing
defense mechanisms are inadequate; in general, the software-based approaches are not …