Lars Wulf

Non-interference through Determinism

Jim Woodcock, A. W. Roscoe, Lars Wulf, 1994, J. Comput. Secur..

Interaction and security in distributed computing

Lars Wulf, Lars Wulf, 1997 .

Composing and decomposing systems under security properties

A. W. Roscoe, Lars Wulf, Lars Wulf, 1995, Proceedings The Eighth IEEE Computer Security Foundations Workshop.