TU Darmstadt / ULB / TUbiblio

A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography

Anikeev, Maxim and Madlener, Felix and Schlosser, Andreas and Huss, Sorin and Walther, Christoph (2010):
A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
In: Workshop on Program Semantics, Specification and Verification: Theory and Applications at the 5th International Computer Science Symposium in Russia, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Anikeev, Maxim and Madlener, Felix and Schlosser, Andreas and Huss, Sorin and Walther, Christoph
Title: A Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography
Language: ["languages_typename_1" not defined]
Title of Book: Workshop on Program Semantics, Specification and Verification: Theory and Applications at the 5th International Computer Science Symposium in Russia
Uncontrolled Keywords: Secure Things
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
LOEWE > LOEWE-Zentren
LOEWE
Date Deposited: 31 Dec 2016 00:15
Identification Number: ISS:Anikeev:2010:AViableAppro:189
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item