author : David von Oheimb

Short works

• Interacting State Machines: a stateful approach to proving security. 2003. (In Formal Aspects of Security )