Riccardo Focardi, Matteo Maffei, Francesco Placella. Inferring authentication tags. In Catherine Meadows, editor, Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. pages 41-49, ACM, 2005. [doi]
Abstract is missing.