“On The Exact Security of Message Authentication Using Pseudorandom Functions”, ToSC, vol. 2017, no. 1, pp. 427–448, Mar. 2017, doi: 10.13154/tosc.v2017.i1.427-448.