Current standard security practices do not provide substantial assurance that the end-to-end
behavior of a computing system satisfies important security policies such as confidentiality …

Programming is hard. Building a large program is like constructing a steam locomotive
through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person …

Tools and a design methodology have been developed to support partial run-time
reconfiguration of FPGA logic on the Field Programmable Port Extender. High-speed …

Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA):
plain interferences, which are similar to the interferences one finds in CCS and ϕ-calculus; …

In modern societies, critical services such as transportation, power supply, water treatment
and distribution are strongly dependent on Industrial Control Systems (ICS). As technology …

Boxed Ambients are a variant of Mobile Ambients that result from (i) drop** the open
capability and (ii) providing new primitives for ambient communication while retaining the …

Boxed Ambients are a variant of Mobile Ambients that result from drop** the open
capability and introducing new primitives for ambient communication. The new model of …

Two forms of interferences are individuated in Cardelli and Gordon's Mobile Ambients (MA):
plain interferences, which are similar to the interferences one finds in CCS and π-calculus; …

The Seal Calculus is a process language for describing mobile computation. Threads and
resources are tree structured; the nodes thereof correspond to agents, the units of mobility …

Flow logic is an approach to static analysis that separates the specification of when an
analysis estimate is acceptable for a program from the actual computation of the analysis …