Skip to main content

Advanced Authentication Protocols Security

18 works

  1. Formal Verification of Cryptographic Protocols

    Luca Durante

    ABI
  2. „Scambi di mano“ sicuri

    Daniele Venturi

    ABI