{"id":"https://openalex.org/W4415421813","doi":"https://doi.org/10.15439/2025f6805","title":"DivCrypt: A Structured Framework for Validating Cryptographic Implementations","display_name":"DivCrypt: A Structured Framework for Validating Cryptographic Implementations","publication_year":2025,"publication_date":"2025-10-15","ids":{"openalex":"https://openalex.org/W4415421813","doi":"https://doi.org/10.15439/2025f6805"},"language":"en","primary_location":{"id":"doi:10.15439/2025f6805","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2025f6805","pdf_url":"https://annals-csis.org/Volume_43/drp/pdf/6805.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/Volume_43/drp/pdf/6805.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045092817","display_name":"Artur Misztal","orcid":"https://orcid.org/0000-0003-2402-937X"},"institutions":[{"id":"https://openalex.org/I126596746","display_name":"Jagiellonian University","ror":"https://ror.org/03bqmcz70","country_code":"PL","type":"education","lineage":["https://openalex.org/I126596746"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Artur Misztal","raw_affiliation_strings":["AGH University of Krakow"],"raw_orcid":"https://orcid.org/0000-0003-2402-937X","affiliations":[{"raw_affiliation_string":"AGH University of Krakow","institution_ids":["https://openalex.org/I126596746","https://openalex.org/I686019"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5045092817"],"corresponding_institution_ids":["https://openalex.org/I126596746","https://openalex.org/I686019"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25228011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":null,"first_page":"747","last_page":"752"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5199999809265137},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4343000054359436},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.33959999680519104},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.2890999913215637},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.2732999920845032}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6966000199317932},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5199999809265137},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4343000054359436},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3723999857902527},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3151000142097473},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2890999913215637},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.2732999920845032},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2728999853134155},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2542000114917755},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15439/2025f6805","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2025f6805","pdf_url":"https://annals-csis.org/Volume_43/drp/pdf/6805.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:75f8d1f1476649689855a8fc8554d670","is_oa":true,"landing_page_url":"https://doaj.org/article/75f8d1f1476649689855a8fc8554d670","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 43, Pp 747-752 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2025f6805","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2025f6805","pdf_url":"https://annals-csis.org/Volume_43/drp/pdf/6805.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415421813.pdf","grobid_xml":"https://content.openalex.org/works/W4415421813.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W2037107113","https://openalex.org/W2507130841","https://openalex.org/W3046597429"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"the":[3,19,102,109],"DivCrypt":[4],"framework,":[5],"a":[6,32,48],"step-by-step":[7],"guidance":[8],"for":[9],"validation":[10],"of":[11,78,104],"cryptographic":[12,81],"implementations.The":[13],"core":[14],"idea":[15],"is":[16,36,72],"to":[17,39,45,75,83],"decompose":[18],"evaluated":[20],"implementation":[21,96],"into":[22],"components":[23],"across":[24],"complexity":[25],"layers":[26],"and":[27,66,85,94,112],"validate":[28],"each":[29],"component":[30],"through":[31],"structured":[33],"five-step":[34],"process.DivCrypt":[35],"not":[37,100],"intended":[38,74],"replace":[40],"existing":[41],"standards,":[42],"but":[43,106],"rather":[44],"serve":[46],"as":[47],"practical":[49],"audit":[50],"playbook.It":[51],"can":[52],"be":[53],"easily":[54],"adopted":[55],"by":[56],"evaluators":[57],"in":[58],"formal":[59],"certification":[60],"processes,":[61],"researchers":[62],"conducting":[63],"security":[64],"audits,":[65],"developers":[67],"performing":[68],"internal":[69],"testing.The":[70],"framework":[71],"also":[73,107],"encourage":[76],"creators":[77],"novel,":[79],"nonstandardized":[80],"constructs":[82],"publish":[84],"maintain":[86],"DivCrypt-aligned":[87],"knowledge":[88],"base.Such":[89],"contributions,":[90],"including":[91],"test":[92],"vectors":[93],"known":[95],"vulnerabilities,":[97],"would":[98],"support":[99],"only":[101],"application":[103],"DivCrypt,":[105],"benefit":[108],"broader":[110],"research":[111],"development":[113],"community.":[114]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-24T00:00:00"}