Inferring authentication tags.

Riccardo Focardi, Matteo Maffei, Francesco Placella

Browse the full POPL paper archive.