Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often implemented cooperatively by a compiler and a low-level compartmentalization mechanism. However, the formal guarantees provided by such compartmentalizing compilation have seen surprisingly little investigation. We propose a new security property, secure compartmentalizing compilation (SCC), that formally characterizes the guarantees provided by compartmentalizing compilation and clarifies its attacker model. We reconstruct our property by starting from the well-established notion of fully abstract compilation, then identifying and lifting three important limitations that make standard full abstraction unsuitable for compartmentalization. The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized abstract machine.Comment: Nit

Mental state estimation for brain-computer interfaces

Mental state estimation is potentially useful for the development of asynchronous brain-computer interfaces. In this study, four mental states have been identified and decoded from the electrocorticograms (ECoGs) of six epileptic patients, engaged in a memory reach task. A novel signal analysis technique has been applied to high-dimensional, statistically sparse ECoGs recorded by a large number of electrodes. The strength of the proposed technique lies in its ability to jointly extract spatial and temporal patterns, responsible for encoding mental state differences. As such, the technique offers a systematic way of analyzing the spatiotemporal aspects of brain information processing and may be applicable to a wide range of spatiotemporal neurophysiological signals

High-Resolution Crystal Truncation Rod Scattering: Application to Ultrathin Layers and Buried Interfaces

In crystalline materials, the presence of surfaces or interfaces gives rise to crystal truncation rods (CTRs) in their X‐ray diffraction patterns. While structural properties related to the bulk of a crystal are contained in the intensity and position of Bragg peaks in X‐ray diffraction, CTRs carry detailed information about the atomic structure at the interface. Developments in synchrotron X‐ray sources, instrumentation, and analysis procedures have made CTR measurements into extremely powerful tools to study atomic reconstructions and relaxations occurring in a wide variety of interfacial systems, with relevance to chemical and electronic functionalities. In this review, an overview of the use of CTRs in the study of atomic structure at interfaces is provided. The basic theory, measurement, and analysis of CTRs are covered and applications from the literature are highlighted. Illustrative examples include studies of complex oxide thin films and multilayers