Formally sound implementations of security protocols with JavaSPI

  • Citation: 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.
  • Title: Formally sound implementations of security protocols with JavaSPI
  • Full authors: Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
  • Authors: Riccardo Sisto
  • Show in profile: Riccardo Sisto