{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:14:44Z","timestamp":1761174884603,"version":"build-2065373602"},"reference-count":35,"publisher":"Polish Information Processing Society","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2025f6805","type":"proceedings-article","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T07:44:23Z","timestamp":1761119063000},"page":"747-752","source":"Crossref","is-referenced-by-count":0,"title":["DivCrypt: A Structured Framework for Validating Cryptographic Implementations"],"prefix":"10.15439","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2402-937X","authenticated-orcid":true,"given":"Artur","family":"Misztal","sequence":"first","affiliation":[{"name":"AGH University of Krakow"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"6175","published-online":{"date-parts":[[2025,10,15]]},"reference":[{"key":"ref1","unstructured":"International Organization for Standardization, \u201cISO\/IEC 15408: \nInformation security, cybersecurity and privacy protection - \nEvaluation criteria for IT security,\u201d International Organization \nfor Standardization, Tech. Rep., 2022. [Online]. Available: \nhttps:\/\/www.commoncriteriaportal.org"},{"key":"ref2","unstructured":"International  Society  of  Automation,  \u201cISA\/IEC  62443: \nSecurity  for  industrial  automation  and  control  systems,\u201d IEC Central Office, Tech. Rep., 2019. [Online]. \nAvailable: https:\/\/www.isa.org\/standards-and-publications\/isa-standards\/isa-iec-62443-series-of-standards"},{"key":"ref3","unstructured":"International Organization for Standardization, \u201cISO\/IEC 19790: \nSecurity Requirements for Cryptographic Modules,\u201d International \nOrganization for Standardization, Tech. Rep. ISO\/IEC 19790, 2025. \n[Online]. Available: https:\/\/www.iso.org\/standard\/82423.html"},{"key":"ref4","unstructured":"SOG-IS  Crypto  Working  Group,  \u201cCrypto  Evaluation \nScheme: Agreed Cryptographic Mechanisms,\u201d Senior Official Group Information Security Systems, Tech. Rep., \n2023. [Online]. Available: https:\/\/www.sogis.eu\/documents\/cc\/crypto\/ \nSOGIS-Agreed-Cryptographic-Mechanisms-1.3.pdf"},{"key":"ref5","unstructured":"International Organization for Standardization, \u201cISO\/IEC 24759: Test \nRequirements for Cryptographic Modules,\u201d International Organization \nfor Standardization, Tech. Rep. ISO\/IEC 24759, 2025. [Online]. \nAvailable: https:\/\/www.iso.org\/standard\/82424.html"},{"key":"ref6","unstructured":"SOG-IS Crypto Working Group, \u201cCrypto Evaluation Scheme: Harmonised Cryptographic Evaluation Procedures,\u201d Senior Official Group \nInformation Security Systems, Tech. Rep., 2020. [Online]. Available: \nhttps:\/\/www.sogis.eu\/documents\/cc\/crypto\/202203-hep-draft16.pdf"},{"key":"ref7","unstructured":"National Institute of Standards and Technology, \u201cModule-Lattice-Based Key-Encapsulation Mechanism Standard,\u201d National Institute of \nStandards and Technology, Gaithersburg, MD, Tech. Rep. NIST FIPS \n203, Aug. 2024. [Online]. Available: https:\/\/nvlpubs.nist.gov\/nistpubs\/FIPS\/NIST.FIPS.203.pdf"},{"key":"ref8","unstructured":"National Institute of Standards and Technology, \u201cModule-Lattice-Based Digital Signature Standard,\u201d National \nInstitute of Standards and Technology, Gaithersburg, MD, Tech. \nRep. NIST FIPS 204, Aug. 2024. [Online]. Available: https:\/\/nvlpubs.nist.gov\/nistpubs\/FIPS\/NIST.FIPS.204.pdf"},{"key":"ref9","unstructured":"\u201cZKDocs.\u201d [Online]. Available: https:\/\/www.zkdocs.com\/"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"D. J. Bernstein, N. Duif, T. Lange, P. Schwabe, and B.-Y. Yang, \n\u201cHigh-speed high-security signatures,\u201d Journal of Cryptographic \nEngineering, vol. 2, no. 2, pp. 77\u201389, Sep. 2012. [Online]. Available: \nhttp:\/\/link.springer.com\/10.1007\/s13389-012-0027-1","DOI":"10.1007\/s13389-012-0027-1"},{"key":"ref11","unstructured":"D. Rogowski, \u201cSoftware Implementation of Common Criteria Related \nDesign Patterns,\u201d in Proceedings of the 2013 Federated Conference \non Computer Science and Information Systems, M. P. M. Ganzha, \nL. Maciaszek, Ed. Krak\u00f3w: IEEE, 2013, pp. pages 1135\u20131140. \n[Online]. Available: https:\/\/annals-csis.org\/Volume_1\/pliks\/210.pdf"},{"key":"ref12","unstructured":"L. Chen, D. Moody, A. Regenscheid, and A. Robinson, \u201cNIST \nFIPS 186-5: Digital Signature Standard (DSS),\u201d National Institute \nof Standards and Technology (U.S.), Gaithersburg, MD, Tech. \nRep. NIST FIPS 186-5, Feb. 2023. [Online]. Available: https:\/\/nvlpubs.nist.gov\/nistpubs\/FIPS\/NIST.FIPS.186-5.pdf"},{"key":"ref13","unstructured":"\u201cWycheproof,\u201d May 2025, original-date: 2016-11-08T20:56:25Z. \n[Online]. Available: https:\/\/github.com\/C2SP\/wycheproof"},{"key":"ref14","unstructured":"\u201cCryptofuzz,\u201d Jun. 2025, original-date: 2024-11-25T19:31:28Z. \n[Online]. Available: https:\/\/github.com\/MozillaSecurity\/cryptofuzz"},{"key":"ref15","unstructured":"\u201cValgrind.\u201d [Online]. Available: https:\/\/valgrind.org\/"},{"key":"ref16","doi-asserted-by":"crossref","unstructured":"S. Josefsson and I. Liusvaara, \u201cEdwards-Curve Digital Signature \nAlgorithm (EdDSA),\u201d RFC Editor, Tech. Rep. RFC8032, Jan. 2017, \nissue: 8032 Num Pages: 60 Series: Request for Comments Published: \nRFC 8032. [Online]. Available: https:\/\/www.rfc-editor.org\/info\/rfc8032","DOI":"10.17487\/RFC8032"},{"key":"ref17","unstructured":"D. J. Bernstein, S. Josefsson, T. Lange, P. Schwabe, and B.-Y. Yang, \n\u201cEdDSA for more curves,\u201d 2015, published: Cryptology ePrint Archive, \nPaper 2015\/677. [Online]. Available: https:\/\/eprint.iacr.org\/2015\/677"},{"key":"ref18","unstructured":"\u201cACVP EdDSA Algorithm JSON Specification.\u201d [Online]. Available: \nhttps:\/\/pages.nist.gov\/ACVP\/draft-celi-acvp-eddsa.html"},{"key":"ref19","unstructured":"D. J. Bernstein, N. Duif, T. Lange, P. Schwabe, and B.-Y. Yang, \n\u201cEd25519 software.\u201d [Online]. Available: https:\/\/ed25519.cr.yp.to\/software.html"},{"key":"ref20","unstructured":"S. D. Galbraith, \u201cCRYPTREC Review of EdDSA,\u201d Mathematics \n Department, University of Auckland, Auckland, New Zealand, Tech. Rep. CRYPTREC EX-3003-2020, 2020. [Online]. Available: https: \n\/\/www.cryptrec.go.jp\/exreport\/cryptrec-ex-3003-2020.pdf"},{"key":"ref21","unstructured":"\u201cnovifinancial\/ed25519-speccheck,\u201d Apr. 2025, original-date: 2020-07-28T21:44:25Z. [Online]. Available: https:\/\/github.com\/novifinancial\/ed25519-speccheck"},{"key":"ref22","doi-asserted-by":"crossref","unstructured":"J. Brendel, C. Cremers, D. Jackson, and M. Zhao, \u201cThe Provable \n Security of Ed25519: Theory and Practice,\u201d in 2021 IEEE Symposium  on Security and Privacy (SP). San Francisco, CA, USA: IEEE, May 2021, pp. 1659\u20131676. [Online]. Available: https:\/\/ieeexplore.ieee.org\/document\/9519456\/","DOI":"10.1109\/SP40001.2021.00042"},{"key":"ref23","unstructured":"Centro  Criptologico  Nacional,  \u201cCCN-STIC  2100:  Cryptographic  Mechanisms  Evaluation  Methodology,\u201d  2025. \n[Online].  Available:  https:\/\/oc.ccn.cni.es\/en\/types-of-certification\/crytpologic-certification\/criteria-and-methodologies"},{"key":"ref24","unstructured":"International Organization for Standardization, \u201cISO\/IEC 18367: \nInformation technology - Security techniques - Cryptographic \nalgorithms and security mechanisms conformance testing,\u201d International \nOrganization for Standardization, Tech. Rep., 2016. [Online]. Available: \nhttps:\/\/www.iso.org\/standard\/62286.html"},{"key":"ref25","unstructured":"\u201cSageMath,\u201d Jun. 2025. [Online]. Available: https:\/\/github.com\/sagemath\/sage"},{"key":"ref26","unstructured":"\u201cCodeChecker,\u201d Jul. 2025. [Online]. Available: https:\/\/github.com\/Ericsson\/codechecker"},{"key":"ref27","unstructured":"\u201cNational Institute of Standards and Technology,\u201d Apr. 2025, \nlast Modified: 2025-06-04T08:37-04:00. [Online]. Available: https:\/\/www.nist.gov\/"},{"key":"ref28","unstructured":"Federal Office for Information Security, \u201cBSI TR-02102-1: \nCryptographic Mechanisms - Recommendations and Key Lengths,\u201d \n2025. [Online]. Available: https:\/\/www.bsi.bund.de\/EN\/Themen\/Unternehmen-und-Organisationen\/Standards-und-Zertifizierung\/ \nTechnische-Richtlinien\/TR-nach-Thema-sortiert\/tr02102\/tr02102_node.html"},{"key":"ref29","unstructured":"Spanish  Data  Protection  Agency,  \u201cGuidelines  for  the \nvalidation  of  cryptographic  systems  in  data  protection \nprocessing,\u201d 2023. [Online]. Available: https:\/\/www.aepd.es\/guides\/guidelines-validation-cryptographic-systems-data-protection-processing. \npdf"},{"key":"ref30","unstructured":"The European Committee for Standardization, \u201cEN 17640: Fixed-time \ncybersecurity evaluation methodology for ICT products,\u201d CEN and \nCENELEC, Tech. Rep. EN 17640, 2022."},{"key":"ref31","unstructured":"National Institute of Standards and Technology, \u201cNIST FIPS 140-3: Security Requirements for Cryptographic Modules,\u201d National \nInstitute of Standards and Technology, Gaithersburg, MD, Tech. \nRep. NIST FIPS 140-3, Apr. 2019. [Online]. Available: https: \n\/\/nvlpubs.nist.gov\/nistpubs\/FIPS\/NIST.FIPS.140-3.pdf"},{"key":"ref32","unstructured":"French Cybersecurity Agency, \u201cMethods For Carrying Out \nCryptographic Analysis And Random Number Evaluations,\u201d 2015. \n[Online]. Available: https:\/\/cyber.gouv.fr\/sites\/default\/files\/2022-08\/ANSSI-CC-CRY-P-01-Modalites-pour-la-realisation-des-analyses-crypto_v003_EN%5B3%5D.pdf"},{"key":"ref33","unstructured":"\u201cRegulation (EU) 2016\/679 of the European Parliament and of the \nCouncil of 27 April 2016 on the protection of natural persons with regard \nto the processing of personal data and on the free movement of such data, \nand repealing Directive 95\/46\/EC (General Data Protection Regulation),\u201d \n2016. [Online]. Available: https:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=CELEX%3A02016R0679-20160504"},{"key":"ref34","unstructured":"D. J. Bernstein, \u201cChaCha, a variant of Salsa20,\u201d 2008. [Online]. \nAvailable: https:\/\/cr.yp.to\/chacha\/chacha-20080128.pdf"},{"key":"ref35","unstructured":"E. Ben-Sasson, I. Bentov, Y. Horesh, and M. Riabzev, \u201cScalable, \ntransparent, and post-quantum secure computational integrity,\u201d \nCryptology {ePrint} Archive, Tech. Rep. 2018\/046, 2018. [Online]. \nAvailable: https:\/\/eprint.iacr.org\/2018\/046"}],"event":{"name":"20th Conference on Computer Science and Intelligence Systems (FedCSIS)","theme":"Computer Science and Intelligence Systems","location":"Krak\u00f3w, Poland","acronym":"FedCSIS","number":"20","start":{"date-parts":[[2025,9,14]]},"end":{"date-parts":[[2025,9,17]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 20th Conference on Computer Science and Intelligence Systems (FedCSIS)"],"original-title":[],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T07:51:26Z","timestamp":1761119486000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_43\/drp\/6805.html"}},"subtitle":[],"proceedings-subject":"Computer Science and Information Systems","short-title":[],"issued":{"date-parts":[[2025,10,15]]},"references-count":35,"URL":"https:\/\/doi.org\/10.15439\/2025f6805","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2025,10,15]]}}}