Produktbild
Nadim Kobeissi

Verifpal User Manual

Buch

The security of cryptographic protocols remains as relevant as ever, with systems such as TLS and Signal being responsible for much of the Web's security guarantees. One main venue for the analysis and verification of these protocols has been automated analysis with formal verification tools, such as ProVerif, CryptoVerif and Tamarin. Indeed, these tools have led to confirming security guarantees (as well as finding attacks) in secure channel protocols, including TLS and Signal. However, formal verification in general has not managed to significantly attract a wider audience.Verifpal is new software for verifying the security of cryptographic… Mehr

CHF 28.90

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


  • ISBN: 978-2-3221-6129-4
  • EAN: 9782322161294
  • Produktnummer: 32613853
  • Verlag: Books On Demand
  • Sprache: Englisch
  • Erscheinungsjahr: 2020
  • Seitenangabe: 100 S.
  • Masse: H22.6 cm x B16.0 cm x D1.0 cm 372 g
  • Abbildungen: HC gerader Rücken kaschiert
  • Gewicht: 372

Über den Autor


Dr. Nadim Kobeissi is a researcher in applied cryptography. His research work focuses on protocol analysis and formal verification. Dr. Kobeissi received his Ph.D. after doing research at the Institut National de Recherche en Informatique et Automatique (INRIA) in Paris (accredited by École Normale Superieure) and has published peer-reviewed research focusing on applied cryptography and automated protocol verification.

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.