Publication:
Formal Analysis of MaTRU Cryptosystem

Simple item page
dc.authorwosidAkleylek, Sedat/D-2090-2015
dc.contributor.authorAkleylek, Sedat
dc.contributor.authorCevik, Nursah
dc.date.accessioned2025-12-11T00:36:25Z
dc.date.issued2019
dc.departmentOndokuz Mayıs Üniversitesien_US
dc.department-temp[Akleylek, Sedat] Ondokuz Mayis Univ, Bilgisayar Muhendisligi Bolumu, Samsun, Turkey; [Cevik, Nursah] Ondokuz Mayis Univ, Hesaplamah Bilimier ABD, Samsun, Turkeyen_US
dc.description.abstractSecurity 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.en_US
dc.description.woscitationindexConference Proceedings Citation Index - Science
dc.identifier.endpage408en_US
dc.identifier.isbn9781728139647
dc.identifier.scopusqualityN/A
dc.identifier.startpage403en_US
dc.identifier.urihttps://hdl.handle.net/20.500.12712/37807
dc.identifier.wosWOS:000609879900076
dc.identifier.wosqualityN/A
dc.language.isotren_US
dc.publisherIEEEen_US
dc.relation.ispartof4th International Conference on Computer Science and Engineering (UBMK) -- Sep 11-15, 2019 -- Samsun, Turkeyen_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/closedAccessen_US
dc.subjectPost-Quantum Cryptographyen_US
dc.subjectFormal Analysisen_US
dc.subjectMatruen_US
dc.subjectIsabelle/Holen_US
dc.titleFormal Analysis of MaTRU Cryptosystemen_US
dc.typeConference Objecten_US
dspace.entity.typePublication

Files

Collections

WoS İndeksli Yayınlar Koleksiyonu