@inproceedings{MTT2016-2, author = {Sjouke Mauw and Jorge Toro Pozo and Rolando Trujillo{-}Rasua}, title = {Optimality results on the security of lookup-based protocols}, booktitle = {At the 12th Workshop on RFID and IoT Security (RFIDSec 2016), Hong kong, November 29, December 2, 2016}, year = {2016}, note = {(to appear)} }