Subjects: Ein Paradigma für sichere verteilte Systeme

Das ist unsere neueste Forschungsrichtung. Es geht darum, ein Paradigma zu entwickeln, das es uns erlaubt, beweisbar effiziente, sichere und robuste Anwendungen für Probleme zu entwickeln, für die es bis heute keine vernünftigen Lösungen gibt, wie SPAM, Identity Theft, Digital Rights Management, Denial-of-Service Attacken, Viren etc.