Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin ; Walther, Christoph (2010)
Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography.
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010). Kazan, Russia (June 14-15, 2010)
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2010 |
| Autor(en): | Anikeev, Maxim ; Madlener, Felix ; Schlosser, Andreas ; Huss, Sorin ; Walther, Christoph |
| Art des Eintrags: | Bibliographie |
| Titel: | Viable Approach to Machine-Checked Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography |
| Sprache: | Englisch |
| Publikationsjahr: | Juni 2010 |
| Veranstaltungstitel: | Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) |
| Veranstaltungsort: | Kazan, Russia |
| Veranstaltungsdatum: | June 14-15, 2010 |
| Zugehörige Links: | |
| Freie Schlagworte: | Secure Things |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Programmiermethodik LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt |
| Hinterlegungsdatum: | 31 Dez 2016 00:15 |
| Letzte Änderung: | 04 Jun 2020 12:43 |
| PPN: | |
| Zugehörige Links: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum