Symbolic Software

@symbolicsoft

Symbolic Software is a company focused on modern insight into applied cryptographic systems.

Paris, France
Vrijeme pridruživanja: svibanj 2016.

Tweetovi

Blokirali ste korisnika/cu @symbolicsoft

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

  1. Prikvačeni tweet
    11. lis 2019.

    Come learn about cryptography protocols in Paris! 🗼🥐🍷 At the Symbolic Software Cryptography Training, we'll cover cryptographic protocol design principles, implementation best practices and new modern techniques. Register today for Feb. 3, 2020:

    Poništi
  2. proslijedio/la je 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
  3. proslijedio/la je Tweet
    18. sij

    Verifpal is now perhaps the first symbolic protocol verifier to support full multithreading and concurrency. Check out this comparison between 0.9.0 (left, latest, with concurrency) and 0.8.10 (right) analyzing one-message Signal:

    Prikaži ovu nit
    Poništi
  4. 16. sij

    We're excited to see launch their research portfolio. BLAKE3 in particular is an incredibly promising contribution for applied cryptography.

    Poništi
  5. proslijedio/la je Tweet
    13. sij

    During a call with , we started using Verifpal to model one of the protocols for their cryptographic toolkit (). Nobody had prior Verifpal experience. It's seriously incredible to be able to do this halfway through a call. Awesome moment.

    Poništi
  6. proslijedio/la je Tweet
    7. sij

    Verifpal comes with: ✔ An intuitive language for modeling and reasoning about complex protocols. ✔ Easy to understand verification. ✔ A manual that comes with a manga about formal verification! It's a great way to get started: (2/2)

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    7. sij

    Ever wanted to learn more about formally verifying protocols such as Signal, Keybase and TLS, but were intimidated by existing tools? Verifpal is protocol verification for students and engineers! Come talk to me at to learn more: (1/2)

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet

    Verifpal is now available via the Homebrew package manager on Linux and macOS! brew tap brew install verifpal

    Poništi
  9. proslijedio/la je Tweet
    5. pro 2019.

    the RWC sponsors list looks like a who's who of small and large companies doing decent crypto engineering

    Poništi
  10. proslijedio/la je Tweet

    Today at : open workshop on the security of cryptographic protocols. OPEN TO BEGINNERS! Come learn! We already have 35 people confirmed! Program and info:

    Poništi
  11. 30. stu 2019.

    Our code repositories, websites etc. will be temporarily unavailable until an hour from now due to a scheduled upgrade for our two servers.

    Poništi
  12. proslijedio/la je Tweet

    THIS SATURDAY: "Security Verification of Cryptographic Protocols" workshop at . 1:00pm in IOEC 518. Come learn how to reason about protocols like TLS 1.3, Signal, and others! Tools we'll be using: Verifpal: ProVerif:

    Poništi
  13. proslijedio/la je Tweet
    15. lis 2019.

    What's hot in crypto in November? Verifpal! Cryptographic Protocol Analysis for Students and Engineers Come join us on Nov 5th at the Mozilla office in Berlin to hear more about it from !

    Poništi
  14. proslijedio/la je Tweet

    Ever wanted to learn more about how to model and analyze sophisticated protocols, like TLS 1.3 and Signal? Register for the Verifpal Tutorial, an affiliated event to 2020 in Zagreb, Croatia! Verifpal makes it easy for everyone to learn!

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet

    So proud of 's Summer 2019 research intern, Sasha Lapiha, who today presented her bachelor thesis at : formally verification and game-based proofs for the Secure Scuttlebutt suite of cryptographic protocols. Check out her work here:

    Poništi
  16. proslijedio/la je Tweet
    29. kol 2019.

    Verifpal: Cryptographic Protocol Analysis for Students and Engineers: N Kobeissi

    Poništi
  17. proslijedio/la je Tweet

    Verifpal, is, of course, free and open source software, released under the GPL. I'm very much looking forward to your feedback and contributions! Source code: Mailing list:

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet

    Verifpal's User Manual has *an entire manga where formal verification tools battle giant robots*, on top of the technical content. This would not have been possible without 3 months of collaboration with Michelle Tan, Cardi Chow and the incredible Low Zi Rong at !

    Prikaži ovu nit
    Poništi
  19. 27. kol 2019.

    Announcing Verifpal: cryptographic protocol analysis for students and engineers.

    Poništi
  20. proslijedio/la je Tweet
    24. kol 2019.

    Shout out to Symbolic Software for being the latest company to donate to in 2020. All these companies help make the conference a success...

    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:

    ·