A Domain-Specific Language for Efficient Cryptographic Engineering
Date Issued
2014
Date
2014
Author(s)
Hao, Po-Hsiang
Abstract
Multidimensional algebraic structures are common in the description of cryptographic systems. They have to be translated to computations between basic elements by automation before being implemented on low-level assembly languages. Besides, the programmer cannot write programs in a high-level way, which makes them more error-prone.
In this thesis, we propose a domain-specific language embedded in Haskell, so that the programmer can implement cryptographic systems in convenient syntax. The computations of algebraic structures will be expanded, supporting extension fields and matrices.
Our compiler is combined with two optimizers, and supports two target languages: Hydra assembly and C++. The programmer can add his own algebraic structures, optimizations, and target language as needed. We also implement two applications in this DSL: optimal pairing and a key exchange with LWE.
The algorithm description, optimizations and code generations is separated and independent. The programmer can focus on the high-level descriptions of the cryptographic systems.
Subjects
密碼工程
特定領域語言
Haskell
Hydra處理器
編譯器優化
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-103-R01921038-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):b9b3bed26235d7ca075f0f877e562cda