Pereira V.? 2016.??A deductive verification tool for cryptographic software. Master