Brussel
Benelux Workshop on Information and System Security
Specification and Analysis of Embedded Systems

Jonker, H., Dashti, M., & Nair, S. K. (2006). Nuovo DRM Paradiso: Towards a verified, fair DRM protocol. In Proceedings of the 1st Nuovo DRM Paradiso: Towards a verified, fair DRM protocol. Brussel.