13 June 2020 POLITECNICO DI TORINO Repository ISTITUZIONALE Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317. Original Formally sound implementations of security protocols with JavaSPI springer Publisher: Published DOI:10.1007/s00165-017-0449-8 Terms of use: openAccess Publisher copyright Copyright Springer. The final publication is available at link.springer.com (Article begins on next page) This article is made available under terms and conditions as specified in the corresponding bibliographic description in the repository Availability: This version is available at: 11583/2695975 since: 2018-02-27T16:12:12Z Springer