DRM Paradiso Publications

Articles

• Nuovo DRM Paradiso: Designing a Secure, Verified Fair DRM Scheme Mohammad T. Dashti, Srijith K. Nair and Hugo L. Jonker, Fundamenta Informaticae (FI) PDF
  
  
• Turning Teenagers into Stores, IEEE Computer, Srijith K. Nair, Ron Gerrits, Bruno Crispo, Andrew S. Tanenbaum, vol. 41, no. 2, pp. 58-62, Feb.,2008 (PDF)
  
  
• Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme Mohammad Torabi Dashti, Srijith Krishnan Nair, and Hugo L. Jonker. In: Fundamentals of Software Engineering (FSEN 2007), Lecture Notes in Computer Science, Springer-Verlag, Teheran, April 2007 pdf extended version
  
  
• Nuovo DRM Paradiso: Towards a verified, fair DRM protocol H.L. Jonker, M. Torabi Dashti, S. Krishnan Nair. WISSEC 2006, November 8-9, 2006, Antwerp, Belgium ~ pdf, slides
  
  
• Nuovo DRM Paradiso: Formal specification and verification of a DRM protocol H. Jonker, S. Krishnan Nair and M. Torabi Dashti. Technical Report IR-CS-019, Vrije Universiteit, March 2006. - pdf
  
  
• Implementing a DRM-Preserving Digital Content Redistribution System Ron Gerrits, Masters Thesis, Vrije Universiteit, October 2006. - pdf
  
  
• Enabling DRM-preserving Digital Content Redistribution Srijith K. Nair, Bogdan C. Popescu, Chandana Gamage, Bruno Cripso, and Andrew S. Tanenbaum, Proceedings of 7th International IEEE Conference on E-Commerce Technology 2005, July 19-22, 2005, Munich, Germany. - pdf, IEEE Xplorer, DBLP
  
  

Talks

• Verifying a P2P DRM System, M. Torabi Dashti, Process Algebra Meetings (PAM), February 21, 2007, CWI, Amsterdam, Netherlands ~ slides
  
  
• Nuovo DRM Paradiso: Towards a verified, fair DRM protocol, H.L. Jonker, WISSEC 2006, November 8-9, 2006, Antwerp, Belgium ~ slides
  
  
• Enabling DRM-preserving Digital Content Redistribution, Srijith K. Nair, 7th International IEEE Conference on E-Commerce Technology 2005, July 19-22, 2005, Munich, Germany. ~ slides