Almeida JB, Barbosa M, Pacheco H, Pereira V.? 2016.??A Tool-Chain for High-Assurance Cryptographic Software. ERCIM News. 2016