{"id":"https://openalex.org/W7163580438","doi":"https://doi.org/10.23919/date69613.2026.11539647","title":"Formal Methods-Assisted Chosen Ciphertext Attacks on PQC CRYSTALS-Kyber Using Electromagnetic Emanations","display_name":"Formal Methods-Assisted Chosen Ciphertext Attacks on PQC CRYSTALS-Kyber Using Electromagnetic Emanations","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7163580438","doi":"https://doi.org/10.23919/date69613.2026.11539647"},"language":null,"primary_location":{"id":"doi:10.23919/date69613.2026.11539647","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014042685","display_name":"Yashaswini Makaram","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yashaswini Makaram","raw_affiliation_strings":["Northeastern University,Boston,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118845988","display_name":"Davis Ranney","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Davis Ranney","raw_affiliation_strings":["Northeastern University,Boston,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137854850","display_name":"Adam A. Ding","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam A. Ding","raw_affiliation_strings":["Northeastern University,Boston,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133574686","display_name":"David Kaeli","orcid":null},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Kaeli","raw_affiliation_strings":["Northeastern University,Boston,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083131515","display_name":"Yunsi Fei","orcid":"https://orcid.org/0000-0002-9930-0868"},"institutions":[{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yunsi Fei","raw_affiliation_strings":["Northeastern University,Boston,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.91853422,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.5814999938011169,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.5814999938011169,"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/T11017","display_name":"Chaos-based Image/Signal Encryption","score":0.10029999911785126,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.0706000030040741,"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/ciphertext","display_name":"Ciphertext","score":0.3366999924182892},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.31439998745918274},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.3043000102043152},{"id":"https://openalex.org/keywords/ciphertext-indistinguishability","display_name":"Ciphertext indistinguishability","score":0.2556999921798706},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.2551000118255615}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5986999869346619},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.35899999737739563},{"id":"https://openalex.org/C93974786","wikidata":"https://www.wikidata.org/wiki/Q1589480","display_name":"Ciphertext","level":3,"score":0.3366999924182892},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.31439998745918274},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2924000024795532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28369998931884766},{"id":"https://openalex.org/C182776695","wikidata":"https://www.wikidata.org/wiki/Q840661","display_name":"Ciphertext indistinguishability","level":5,"score":0.2556999921798706},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.24969999492168427}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date69613.2026.11539647","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2062989416","https://openalex.org/W2740580365","https://openalex.org/W2972972326","https://openalex.org/W2988496150","https://openalex.org/W4379384493","https://openalex.org/W4383899661"],"related_works":[],"abstract_inverted_index":{"NIST":[0],"has":[1,38],"released":[2],"a":[3,24,74,84,140,145,192,219],"set":[4,146,193],"of":[5,18,54,61,78,147,154,176,194,222],"post-quantum":[6],"cryptography":[7],"(PQC)":[8],"standards":[9],"that":[10,40,132,142,184,215],"address":[11],"the":[12,16,33,55,79,94,99,113,155,177,216,227],"threat":[13],"posed":[14],"by":[15,173],"emergence":[17],"quantum":[19],"computing.":[20],"The":[21,168],"standard":[22],"includes":[23],"modular":[25],"lattice-based":[26],"key":[27,166,170,229],"exchange":[28],"mechanism":[29],"(ML-KEM)":[30],"based":[31],"on":[32,93,106,120,123,199],"CRYSTALS-Kyber":[34],"algorithm.":[35,101],"Recent":[36],"work":[37],"shown":[39],"Kyber":[41,59,80,198],"is":[42,60,171],"susceptible":[43],"to":[44,103,189],"electromagnetic":[45],"(EM)":[46],"and":[47,67,82,150,205],"power":[48],"side-channel":[49,56,87,151,210],"attacks.":[50],"A":[51],"full":[52],"understanding":[53],"vulnerabilities":[57],"in":[58,98,225],"paramount":[62],"importance":[63],"for":[64,127],"next-generation":[65],"communication":[66],"computing":[68],"infrastructures.In":[69],"this":[70,207],"study,":[71],"we":[72,118],"target":[73],"previously":[75],"unexplored":[76],"section":[77],"algorithm":[81,183],"implement":[83,197],"chosen":[85,130],"ciphertext":[86],"attack.":[88,211],"We":[89,138,180,196],"focus":[90,119],"our":[91],"attack":[92,217],"Barrett":[95,107,121],"reduction":[96,122],"operation":[97],"decapsulation":[100,157],"Compared":[102],"previous":[104],"attacks":[105],"reduction,":[108],"which":[109,159],"targeted":[110],"variables":[111],"after":[112],"Inverse-Number":[114],"Theoretic":[115],"Transform":[116],"(INTT),":[117],"NTT":[124],"variables,":[125],"allowing":[126],"more":[128],"general":[129],"ciphertexts":[131,149],"can":[133,160],"evade":[134],"input":[135],"sanity":[136],"checking.":[137],"design":[139],"scheme":[141],"requires":[143],"only":[144],"12":[148],"EM":[152,178,209],"traces":[153],"corresponding":[156],"processes,":[158],"reveal":[161],"distinct":[162],"leakages":[163],"under":[164],"different":[165],"values.":[167],"secret":[169,228],"retrieved":[172],"pattern":[174],"matching":[175],"leakages.":[179],"develop":[181],"an":[182,186,200],"utilizes":[185],"SMT":[187],"solver":[188],"automatically":[190],"select":[191],"ciphertexts.":[195],"ARM":[201],"Cortex":[202],"M4-based":[203],"microcontroller":[204],"launch":[206],"new":[208],"Our":[212],"results":[213],"show":[214],"achieves":[218],"success":[220],"rate":[221],"over":[223],"95%":[224],"recovering":[226],"value.":[230]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-06-05T00:00:00"}