Catherine Meadows

Catherine Ann Meadows ist eine US-amerikanische Mathematikerin und Kryptologin. Sie ist bekannt für ihre Entwicklung von Werkzeugen zur formalen Verifizierung und automatisierten Entdeckung von Fehlern in kryptografischen Protokollen. Veröffentlicht in Wikipedia
Treffer 1 - 1 von 1 für Suche 'Meadows, Catherine', Suchdauer: 0,11s Treffer weiter einschränken
1
Security and Privacy in Ad-hoc and Sensor Networks
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden