We introduce a capability-based access control model integrated into a linguistic formalism
for modeling network aware systems and applications. Our access control model enables …

Coordination languages are often used to describe open-ended systems. This makes it
challenging to develop tools for guaranteeing the security of the coordinated systems and …

Events that take 10s to 100s of ns like cache misses increasingly cause CPU stalls.
However, hiding the latency of these events is challenging: hardware mechanisms suffer …

Die edle Kraft bei mir wäre demselben Schicksal geweiht wie die Hyperions, wäre ich
während der Arbeit an meiner Promotion nicht vielen begegnet, die die unersetzliche Rolle …

Failure to ensure data confidentiality can have a significant financial and reputational impact
on companies. To aggravate the issue, frequently used methods like testing are insufficient …

• Today's smart phones/nomadic devices have more computing and communication power
than PCs 20 years ago, but…• Not even remotely the amount of third party software …

In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may
contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon …

The last decades have shown tremendous advances in the field of information technology
(IT). In fact, with online access to vast amounts of information, states offering their services …

Proof systems for expressive type theories provide a foundation for the verification and
synthesis of programs. But despite their successful application to numerous programming …

Security is a key issue for distributed systems/applications with code mobility, like, eg, e-
commerce and on-line bank transactions. In a scenario with code mobility, traditional …