Publication: Formal Analysis of MaTRU Cryptosystem
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Security analysis of cryptosystems is a significant area due to the effects on the real world. There are main ways for security analysis: the first one is resistance to the attacks and the second one is on the hardness of computationally hard problems. To provide mathematically correctness of the cryptosystem, formal analysis is used. In this study, by following formal analysis of NTRUEncrypt, th formal analysis components of MaTRU, a matrix variant of NTRU, are given.
Description
Citation
WoS Q
N/A
Scopus Q
N/A
Source
4th International Conference on Computer Science and Engineering (UBMK) -- Sep 11-15, 2019 -- Samsun, Turkey
Volume
Issue
Start Page
403
End Page
408