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 |
| id |
ndltd-TW-102NTU05428079 |
|---|---|
| record_format |
oai_dc |
| spelling |
ndltd-TW-102NTU054280792016-03-09T04:24:20Z http://ndltd.ncl.edu.tw/handle/89467093076755827562 A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver 基於 Max-SAT 求解器的二元體表達式簡化工具 Wei-Han Chen 陳韋翰 碩士 國立臺灣大學 電子工程學研究所 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 describe critical part of algorithms in high level languages and we convert that into a simplified representation in low level languages. In this work we convert the problem of simplifying binary field expressions into instances of Max-SAT problems, and solve them by an existing Max-SAT solver. It turns out that we can achieve up to 50% improvements. And there is a trade-off between time and quality depend on how many relations are allowed to use in simplification. Chen-Mou Chen 鄭振牟 2014 學位論文 ; thesis 26 en_US |
| collection |
NDLTD |
| language |
en_US |
| format |
Others
|
| sources |
NDLTD |
| description |
碩士 === 國立臺灣大學 === 電子工程學研究所 === 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 describe critical part of algorithms in high level languages and we convert that into a simplified representation in low level languages.
In this work we convert the problem of simplifying binary field expressions into instances of Max-SAT problems, and solve them by an existing Max-SAT solver. It turns out that we can achieve up to 50% improvements. And there is a trade-off between time and quality depend on how many relations are allowed to use in simplification.
|
| author2 |
Chen-Mou Chen |
| author_facet |
Chen-Mou Chen Wei-Han Chen 陳韋翰 |
| author |
Wei-Han Chen 陳韋翰 |
| spellingShingle |
Wei-Han Chen 陳韋翰 A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| author_sort |
Wei-Han Chen |
| title |
A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| title_short |
A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| title_full |
A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| title_fullStr |
A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| title_full_unstemmed |
A Simplification Tool for Expressions over Binary Fields Using Max-SAT Solver |
| title_sort |
simplification tool for expressions over binary fields using max-sat solver |
| publishDate |
2014 |
| url |
http://ndltd.ncl.edu.tw/handle/89467093076755827562 |
| work_keys_str_mv |
AT weihanchen asimplificationtoolforexpressionsoverbinaryfieldsusingmaxsatsolver AT chénwéihàn asimplificationtoolforexpressionsoverbinaryfieldsusingmaxsatsolver AT weihanchen jīyúmaxsatqiújiěqìdeèryuántǐbiǎodáshìjiǎnhuàgōngjù AT chénwéihàn jīyúmaxsatqiújiěqìdeèryuántǐbiǎodáshìjiǎnhuàgōngjù AT weihanchen simplificationtoolforexpressionsoverbinaryfieldsusingmaxsatsolver AT chénwéihàn simplificationtoolforexpressionsoverbinaryfieldsusingmaxsatsolver |
| _version_ |
1718201032163459072 |