Search
Formal Tools for Virtual Prototyping of embedded systems – FOTOVP
In the context of past or current projects involving industrial partners from various application domains, the participants of FoToVP have observed several approaches for the design of complex and/or
Social Trust Analysis and Formalization – FORTRUST
It is generally agreed that trust is a key concept in nowadays information technologies, which applies not only in contexts where security is in focus. Beyond system reliability it ensures its usabil
Adaptive Fiabilisation of Multi-Agent Cooperative Applications – FACOMA
The possibility of partial failures is a fundamental characteristic of distributed applications. The fault tolerance research community has developped solutions (algorithms and architectures), mostly
Evaluation and Design of cryptographic HASH functions – EDHASH
The recent succes of collision attacks on cryptographic hash functions have created some turmoil in the cryptologic research community. In particular, collisions for MD5 and SHA-0 have been exhibited