Formally sound implementations of security protocols with JavaSPI Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti (2018) Formally sound implementations of security protocols with JavaSPI, In: FORMAL ASPECTS OF COMPUTING, pp. 279-317, ISSN: 0934-5043