In: 2016 Workshop on Computer-Aided Design and Implementation for Cryptography and Security. Workshop on Computer-Aided Design and Implementation for …
In: Translating and the Computer 38 - Proceedings. Translating and the Computer Conference (TC-38), November 17-18, One Birdcage Walk, London, United …