Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario

Christian Kraetzer, Ronny Merkel, Robert Altschaffel, Eric Clausing, Jana Dittmann. Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario. In Chad Heitzenrater, Scott Craver, Jana Dittmann, editors, Proceedings of the thirteenth ACM multimedia workshop on Multimedia and security, MM&Sec '11, Buffalo, New York, USA, September 29-30, 2011. pages 93-102, ACM, 2011. [doi]

@inproceedings{KraetzerMACD11,
  title = {Semi-automated communication protocol security verification for watermarking - pros and cons illustrated on a complex application scenario},
  author = {Christian Kraetzer and Ronny Merkel and Robert Altschaffel and Eric Clausing and Jana Dittmann},
  year = {2011},
  doi = {10.1145/2037252.2037270},
  url = {https://doi.org/10.1145/2037252.2037270},
  researchr = {https://researchr.org/publication/KraetzerMACD11},
  cites = {0},
  citedby = {0},
  pages = {93-102},
  booktitle = {Proceedings of the thirteenth ACM multimedia workshop on Multimedia and security, MM&Sec '11, Buffalo, New York, USA, September 29-30, 2011},
  editor = {Chad Heitzenrater and Scott Craver and Jana Dittmann},
  publisher = {ACM},
  isbn = {978-1-4503-0806-9},
}