Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude

Saved in:
Bibliographic Details
Published in:IET Information Security Vol. 2023; pp. 1 - 17
Main Authors: Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
Format: Journal Article
Language:Japanese
Published: Institution of Engineering and Technology (IET) 30.10.2023
Subjects:
Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
ISSN:1751-8709, 1751-8717
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Ayoub Otmani
Sedat Akleylek
Santiago Escobar
Duong Dinh Tran
Kazuhiro Ogata
Author_xml – sequence: 1
  fullname: Duong Dinh Tran
– sequence: 2
  fullname: Kazuhiro Ogata
– sequence: 3
  orcidid: 0000-0002-3550-4781
  fullname: Santiago Escobar
– sequence: 4
  orcidid: 0000-0001-7005-6489
  fullname: Sedat Akleylek
– sequence: 5
  orcidid: 0000-0001-8176-8692
  fullname: Ayoub Otmani
BackLink https://cir.nii.ac.jp/crid/1870583643128934784$$DView record in CiNii
BookMark eNo9j0tLAzEUhYNUsNbu_AFZuHTszeRmkiy11AedQbAFd0qeNlpTMVOk_94nbs53Fh8HziEZ5E0OhBwzOGOAelJDzSeaa62U3CNDJgWrlGRy8N9BH5BxKcmCkE0NINSQPMx3Nryf0oX5gcmeLuZV197f0db0fXKhujAleDoPOzrLzryV7dr0aZNpF9zK5FReC-02PqzpdBXcS8pP9CP1K9qZrQ9HZD-adQnjP47I8nK2nF5X7e3VzfS8rZ61wCo68AiNbQCkNE2N6ASiR4wWHBPRe-CNjBYjRq84E2C1C6jVl6CEdXxETn5nc0qPLn0n-_orFG-Qs1ppjlIh_wQMeFPm
ContentType Journal Article
DBID RYH
DOI 10.1049/2023/9399887
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1751-8717
EndPage 17
GroupedDBID .DC
0R~
0ZK
1OC
24P
29I
5GY
6IK
AAHJG
AAJGR
AAMMB
ABMDY
ABQXS
ACCMX
ACESK
ACGFO
ACGFS
ACIWK
ADEYR
AEFGJ
AEGXH
AENEX
AGXDD
AIAGR
AIDQK
AIDYY
ALMA_UNASSIGNED_HOLDINGS
ALUQN
AVUZU
CS3
DU5
EBS
GROUPED_DOAJ
HZ~
IAO
IDLOA
IPLJI
ITC
LAI
MCNEO
O9-
OK1
P2P
RNS
RUI
RYH
UNMZH
WIN
~ZZ
ID FETCH-LOGICAL-j954-fc0d406b60077a6244c544d44fb0c15fdd0367fb4f4fd83150b9ce4984fb85bc3
ISSN 1751-8709
IngestDate Mon Nov 10 09:04:21 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language Japanese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j954-fc0d406b60077a6244c544d44fb0c15fdd0367fb4f4fd83150b9ce4984fb85bc3
ORCID 0000-0002-3550-4781
0000-0001-7005-6489
0000-0001-8176-8692
OpenAccessLink http://dx.doi.org/10.1049/2023/9399887
PageCount 17
ParticipantIDs nii_cinii_1870583643128934784
PublicationCentury 2000
PublicationDate 2023-10-30
PublicationDateYYYYMMDD 2023-10-30
PublicationDate_xml – month: 10
  year: 2023
  text: 2023-10-30
  day: 30
PublicationDecade 2020
PublicationTitle IET Information Security
PublicationYear 2023
Publisher Institution of Engineering and Technology (IET)
Publisher_xml – name: Institution of Engineering and Technology (IET)
SSID ssib057620058
ssib057620059
ssj0056509
ssib006554459
ssib053832763
ssib009367281
ssib051604691
Score 2.4090257
SourceID nii
SourceType Publisher
StartPage 1
SubjectTerms Computer engineering. Computer hardware
Electronic computers. Computer science
QA75.5-76.95
TK7885-7895
Title Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
URI https://cir.nii.ac.jp/crid/1870583643128934784
Volume 2023
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: DOA
  dateStart: 20210101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssib051604691
  issn: 1751-8709
  databaseCode: M~E
  dateStart: 20070101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
– providerCode: PRVWIB
  databaseName: Wiley Online Library Free Content
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: WIN
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://onlinelibrary.wiley.com
  providerName: Wiley-Blackwell
– providerCode: PRVWIB
  databaseName: Wiley Online Library Open Access
  customDbUrl:
  eissn: 1751-8717
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0056509
  issn: 1751-8709
  databaseCode: 24P
  dateStart: 20130101
  isFulltext: true
  titleUrlDefault: https://authorservices.wiley.com/open-science/open-access/browse-journals.html
  providerName: Wiley-Blackwell
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Lb9QwELaWwoELb8SrlQ_c0og87Ng-lhJEtd0FQaT2BLLjuJuypGgfVeFH8JsZO84mCwfgwMXaeKNN1vPp88x4Hgg9Z5xmunIhjTQKidAqVFyaUEprAQmjMqpcswk2nfLTU_FuNPrR5cJczlnT8Ksr8fW_ihrmQNg2dfYfxL35UZiAzyB0GEHsMP6V4MfflG-mJdUgOnMcTo5P3gfHcmXD3cKXsHvpYAyMkDelBFO5jYkLJpVNBa6XX5auTdo8OJxV5eeNx3Yi13oreOgoLwKf0uS5p-2H1yvItpnRq7qZuTrqG36X39ezenERvD1rk-NaNw-IubaBIfmyBJ7ZxA1_qLRcBQf2EHruiwt7R0XiQt78mYszXn3wg9eDB-UW3TL0JwlOtc6LzhPS8jKjMRB31E5Vw7k29bMjc_vgAR_Hg429vfG3LQNMJJsV01awEKCvAe1eQ9cTRoVlyZOjac9P1JYu6tU_kWYs6fN2aZxZb0N_DdZ_wvryZmDaWR8e_-VadJoDtdUMXQKv_7M-UQPe0Pqo0hf-7UANaup6oAYVd9Atb7_ggxZ3d9HoXN5Dt7veINhvFffRRwfDfexAuI9h7bGHIN6CIAYI4i0I4h6C2EEQdxDEFoLYQfABKl7nxeGb0PfyCM8FJaEpIw2qo7LdEJjMQKcsYSk1IUZFZUyN1qBJMaOIIUbzFHhDibIigsMNnKoyfYh2moumeoQwi6VIgEfShBoiY6aSiJnEgN3LKsK0fIx2YXU-lbUdY1hGylNQu0EPEylhnDz5w_dP0c3Exi25gM1naGe1WFe76EZ5uaqXiz3ns9lzsPgJnZp5Dg
linkProvider Wiley-Blackwell
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Kyber%2C+Saber%2C+and+SK-MLWR+Lattice-Based+Key+Encapsulation+Mechanisms+Model+Checking+with+Maude&rft.jtitle=IET+Information+Security&rft.au=Duong+Dinh+Tran&rft.au=Kazuhiro+Ogata&rft.au=Santiago+Escobar&rft.au=Sedat+Akleylek&rft.date=2023-10-30&rft.pub=Institution+of+Engineering+and+Technology+%28IET%29&rft.issn=1751-8709&rft.eissn=1751-8717&rft.volume=2023&rft.spage=1&rft.epage=17&rft_id=info:doi/10.1049%2F2023%2F9399887
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1751-8709&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1751-8709&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1751-8709&client=summon