This work presents a general framework for describing cryptographic protocols and
analyzing their security. The framework allows specifying the security requirements of …

Developing a reliable distributed system meeting desired performance requirements is a
hard and labor-intensive task. Formal specification and analysis of a system design can …

This paper focusses on the question when and to what extent a particular system component
can be considered suitable to use in the context of the dynamics of a larger technical system …

This paper proposes that two distinct types of structures are present in the brain: Symbolic
Knowledge Structures (SKSs), used for formal symbolic reasoning, and Intuitive Knowledge …

Although there have been many successes in verifying proofs of non-interactive
cryptographic primitives such as encryption and signatures, formal verification of interactive …

This work extends the composable secure-emulation of Canetti et al. to dynamic settings.
Our work builds on top of dynamic probabilistic I/O automata, a recent framework introduced …

We present probabilistic dynamic I/O automata, a framework to model dynamic probabilistic
systems. Our work extends dynamic I/O Automata formalism of Attie & Lynch to probabilistic …

We present probabilistic dynamic I/O automata, a framework to model dynamic probabilistic
systems. Our work extends dynamic I/O Automata formalism of Attie & Lynch to probabilistic …

In this manuscript, I summarize research by myself and my very many students and other
collaborators, on developing a theory for the field of distributed computing. I hope that it …

Designing, verifying, and implementing highly reliable distributed systems is at present a
hard and very labor-intensive task. Cloud-based systems have further increased this …