Verifpal

@verifpal

Cryptographic protocol analysis for students and engineers.

Vrijeme pridruživanja: srpanj 2019.

Tweetovi

Blokirali ste korisnika/cu @verifpal

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @verifpal

  1. Prikvačeni tweet
    31. sij

    Getting started with cryptographic protocol analysis is now easier than ever! Check out our new 17-minute video tutorial, now on YouTube – it covers Verifpal’s language, how to use Verifpal to verify post-compromise secrecy in Signal, and more:

    Poništi
  2. proslijedio/la je Tweet

    Last week, Verifpal gained support for phases (temporal logic), which allows for the expression of partial state compromise and forward secrecy. Today, Verifpal also gains support for queries acting as preconditions for message events:

    Poništi
  3. prije 17 sati

    In addition to support for the Homebrew package manager for Linux and macOS, Verifpal can now also be installed and updated automatically on Windows using the Scoop package manager:

    Poništi
  4. proslijedio/la je Tweet
    2. velj

    The first lightning talk is by on a formal verification framework written in Go! 😲

    Prikaži ovu nit
    Poništi
  5. 1. velj

    Interested in analyzing and verifying cryptographic protocols? Come check out the Verifpal talk today at ! And get a cool sticker!

    Poništi
  6. proslijedio/la je Tweet

    My colleague and friend produced an amazing introductory video for his new cryptographic protocol analysis tool . Give it a shot if you'd like to get started with formal verification, Verifpal is beginner-friendly!

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·