26. Specifying access control in Event-B

Hoang, Thai Son, Basin, David A. and Abrial, Jean-Raymond (2009)

Reports

27. Specifying and Verifying Hysteresis Signature System with HOL-Z

Basin, David A., Kuruma, Hironobu, Takaragi, Kazuo and Wolff, Burkhart (2005)

Reports

28. Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs

Meier, Simon, Cremers, Cas and Basin, David A. (2010)

Reports

29. Technology Transfer within the DEPLOY Project

Basin, David A. and Hoang, Thai Son (2013)

Reports

30. Timing-sensitive information flow analysis for synchronous systems

Köpf, Boris Alexander and Basin, David A.

Reports

31. User-Level Secure Deletion on Log-structured File Systems

Reardon, Joel, Marforio, Claudio, Capkun, Srdjan and Basin, David A. (2013)

Reports