An insider-robust approach to file integrity verification is developed using interacting strata of mobile agents. Previous approaches relied upon monolithic architectures, or more...
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
Multicore computers pose a substantial challenge to infrastructure software such as operating systems or databases. Such software typically evolves slower than the underlying hard...
Tudor-Ioan Salomie, Ionut Emanuel Subasu, Jana Gic...
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
Valeriy Vyatkin, Martin Hirsch 0002, Hans-Michael ...