Finite Transducers in Public Key Cryptography - Joana Barão Vieira (2017)