This document presents the detailed design of the two main defense approaches under development within the project MILTIADES, namely the IP address space randomiza-tion proactive defense technique against hit-list worms, and the emulation-based poly-morphic attack detection technique.

This thesis gives an introduction to a currently active area in the cross-section between theoretical computer science and theoretical physics. In the last ten years it has been suggested that critical behaviour, usually seen in models from condensed matter physics, may be responsible for the intractability of NP complete computation problems. This would suggest a very deep connection between t...

We show that a deterministic single-tape Turing machine, operating in polynomial space with respect to the input length, can be efficiently simulated (both in terms of time and space) by a semi-uniform family of P systems with active membranes and three polarizations, using only communication rules. Then, basing upon this simulation, we prove that a result similar to the space hierarchy theorem...

introduction: lipomas of the larynx are very rare benign lesions; macroscopically, they resemble retention cysts, so their diagnosis is usually made after surgery.   case report: a rare case of pediatric paraglottic space lipoma in an 11-year-old boy is explained. the mass was mobile, soft, without fluctuation or pulsation. ct scan revealed a 5.7 cm cervical fat density with regional lymphadeno...

The parity acceptance condition for ω-regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as the richer conditions, in both the deterministic and nondeterministic settings, Rabin and Streett automata are more succinct, and their translation to parity automata may blow-up the state space. The appealing propert...

We consider the problem of implementing a given conditional distribution relating the states of a physical system at two separate times using a physical process with (potentially timeinhomogeneous) master equation dynamics. This problem arises implicitly in many nonequilibrium statistical physics scenarios, e.g., when designing processes to implement some desired computations, feedback-control ...