that service requests of varying importance, such as databases, media-based applications, and networks. Lottery scheduling also supports modular resource management by enabling concurrent modules to insulate their resource allocation policies from one another. A currency abstraction is introduced to flexibly

. To provide a fully abstract compiler that targets untyped assembly, it has been suggested to extend the target language with a protected module architecture — an assembly-level isolation mechanism which can be found in next-generation processors. This paper provides a fully abstract compilation scheme whose

to a correct but stale version. For this reason, we present Memoir, the first system that fully ensures the continuity of a protected software module’s state. In other words, it ensures that a module’s state remains persistently and completely inviolate. A key contribution of Memoir is a technique

Protected module architectures (PMA) are an isolation mechanism that emerg-ing processors provide as security building blocks for modern software systems. Reasoning about these building blocks means reasoning about elaborate assem-bly code, which can be very complex due to the loose structure

the Low-Level Radio-Frequency (LLRF) Field Control Module (FCM). The fault detection logic is implemented in a single FPGA allowing modifications and upgrades to the logic as we gain operational experience with the RF LINAC systems. This paper describes the integration and upgrade issues we have

A fully abstract compilation scheme prevents the security features of the high-level language from being bypassed by an attacker compilation scheme from a realistic object-oriented language with dynamic memory allocation, cross-package inheritance, exceptions and inner classes to untyped machine code. Full abstraction of the compilation scheme relies on enhancing the low-level machine model with a fine-grained, program counter-based memory access control mechanism. This paper contains the outline of a formal proof of full abstraction of the compilation scheme. Measurements of the overhead introduced by the compilation scheme indicate that it is negligible. Secure Compilation

a hardware implementation. To this end, the main N2K algorithm, the Key Protection Module (KPM), was specified in VHDL. The design was built and tested incrementally: first the KPM controller was specified, then cryptographic sub-modules for random number generation, Elliptic Curve Cryptography (ECC

This paper provides a client environment in which web pages can be used safely through document securing function among Internet web browser (Netscape Communicator or Netscape Navigator) functions. Transmission of cryptographic web data is performed by using the protective module. One

. The proposed architecture works as a firewall managing the memory accesses on the basis of a lookup table containing the access rights. This module, called Data Protection Unit (DPU), has been designed for MPSoC architectures and integrated in the Network Inter-faces near the shared memory. We implement

N.B. When citing this work, cite the original published paper. Permanent link to this version: