TU Darmstadt / ULB / TUbiblio

Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study

Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph :
Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study.
In: Information Security: Proceedings of the IX. International Conference, January 2007.
[Konferenz- oder Workshop-Beitrag], (2007)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2007
Autor(en): Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin A. ; Walther, Christoph
Titel: Automated Verification for an Efficient Elliptic-Curve Algorithm - A Case Study
Sprache: Englisch
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Integrierte Schaltungen und Systeme
Fachbereich Informatik > Programmiermethodik
Veranstaltungstitel: Information Security: Proceedings of the IX. International Conference, January 2007
Hinterlegungsdatum: 24 Feb 2009 11:49
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen