A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver
碩士 === 國立臺灣大學 === 電子工程學研究所 === 102 === Efficiency is an important consideration in cryptosystem algorithms implementation. Therefore, a designer has to implement critical part of algorithms in low level languages such as assembly language. Our goal is to automate this human work. The designer can d...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2014
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/89467093076755827562 |