Issues on designing a cryptographic compiler
| dc.contributor.author | Lucks, Stefan | |
| dc.contributor.author | Schmoigl, Nico | |
| dc.contributor.author | Tatlı, Emin İslam | |
| dc.contributor.editor | Wulf, Christopher | |
| dc.contributor.editor | Lucks, Stefan | |
| dc.contributor.editor | Yau, Po-Wah | |
| dc.date.accessioned | 2019-08-26T12:42:16Z | |
| dc.date.available | 2019-08-26T12:42:16Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract | Flawed implementations of security protocols is a major source of real world security problems. Typically, security protocols are specified in some "highlevel" way and may even be formally proven secure. Implementing them in practical (and comparatively low-level) source code has turned out to be error-prone. This paper introduces an experimental language for high-level protocol specifications and describes a tool to automatically compile source code from these specifications. | en |
| dc.identifier.isbn | 3-88579-403-9 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/24843 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | WEWoRC 2005 – Western European Workshop on Research in Cryptology | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-74 | |
| dc.title | Issues on designing a cryptographic compiler | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 122 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 109 | |
| gi.conference.date | 5.-7. July 2005 | |
| gi.conference.location | Leuven, Belgium | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1