| dc.contributor.author | Akleylek S. | |
| dc.contributor.author | Cevik N. | |
| dc.date.accessioned | 2020-06-21T09:05:26Z | |
| dc.date.available | 2020-06-21T09:05:26Z | |
| dc.date.issued | 2019 | |
| dc.identifier.isbn | 9781728139647 | |
| dc.identifier.uri | https://doi.org/10.1109/UBMK.2019.8907038 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.12712/2318 | |
| dc.description | 4th International Conference on Computer Science and Engineering, UBMK 2019 -- 11 September 2019 through 15 September 2019 -- -- 154916 | en_US |
| dc.description.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. © 2019 IEEE. | en_US |
| dc.language.iso | tur | en_US |
| dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_US |
| dc.relation.isversionof | 10.1109/UBMK.2019.8907038 | en_US |
| dc.rights | info:eu-repo/semantics/closedAccess | en_US |
| dc.subject | formal analysis | en_US |
| dc.subject | Isabelle/HOL | en_US |
| dc.subject | MaTRU | en_US |
| dc.subject | post-quantum cryptography | en_US |
| dc.title | Formal Analysis of MaTRU Cryptosystem | en_US |
| dc.title.alternative | MaTRU Kriptosisteminin B?imsel Analizi | en_US |
| dc.type | conferenceObject | en_US |
| dc.contributor.department | OMÜ | en_US |
| dc.identifier.startpage | 403 | en_US |
| dc.identifier.endpage | 408 | en_US |
| dc.relation.journal | UBMK 2019 - Proceedings, 4th International Conference on Computer Science and Engineering | en_US |
| dc.relation.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
