Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem

Luca Durante

1 works

Polytechnic University of Turin

  1. Formal Verification of Cryptographic Protocols

    Luca Durante

    ArticleAdvanced Authentication Protocols Security20090 citations
    ABI