Verifpal User Manual

Lieferzeit: Lieferbar innerhalb 14 Tagen

20,30 

ISBN: 2322161292
ISBN 13: 9782322161294
Autor: Kobeissi, Nadim
Verlag: Books on Demand
Umfang: 100 S., 23 farbige Illustr.
Erscheinungsdatum: 13.09.2019
Auflage: 1/2019
Format: 1 x 22.6 x 16
Gewicht: 372 g
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 7961656 Kategorie:

Beschreibung

Autorenporträt

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.

Herstellerkennzeichnung:


BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE

E-Mail: info@bod.de

Das könnte Ihnen auch gefallen …