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}, }