TU Darmstadt / ULB / TUbiblio

Computer Verification in Cryptography

Kaiser, Markus and Buchmann, Johannes (2006):
Computer Verification in Cryptography.
In: International Conference on Computer Science-(ICCS'06), 12, ISBN 975-00803-1-9,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Kaiser, Markus and Buchmann, Johannes
Title: Computer Verification in Cryptography
Language: German
Title of Book: International Conference on Computer Science-(ICCS'06)
Volume: 12
ISBN: 975-00803-1-9
Divisions: 20 Department of Computer Science > Theoretical Computer Science - Cryptography and Computer Algebra
20 Department of Computer Science
Date Deposited: 04 Aug 2016 15:08
Identification Number: Kaiser:Buchmann:2006
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item