{"id":"https://openalex.org/W4385080320","doi":"https://doi.org/10.1109/sp46215.2023.10179418","title":"Typing High-Speed Cryptography against Spectre v1","display_name":"Typing High-Speed Cryptography against Spectre v1","publication_year":2023,"publication_date":"2023-05-01","ids":{"openalex":"https://openalex.org/W4385080320","doi":"https://doi.org/10.1109/sp46215.2023.10179418"},"language":"en","primary_location":{"id":"doi:10.1109/sp46215.2023.10179418","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179418","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04106448v1/file/camera_ready.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084848032","display_name":"Basavesh Ammanaghatta Shivakumar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Basavesh Ammanaghatta Shivakumar","raw_affiliation_strings":["MPI-SP,Bochum,Germany","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)"],"affiliations":[{"raw_affiliation_string":"MPI-SP,Bochum,Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075577852","display_name":"Gilles Barthe","orcid":"https://orcid.org/0000-0002-3853-1777"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gilles Barthe","raw_affiliation_strings":["MPI-SP,Bochum,Germany","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)"],"affiliations":[{"raw_affiliation_string":"MPI-SP,Bochum,Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103256238","display_name":"Benjamin Gr\u00e9goire","orcid":"https://orcid.org/0000-0001-6650-9924"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benjamin Gregoire","raw_affiliation_strings":["Inria,Sophia Antipolis,France"],"affiliations":[{"raw_affiliation_string":"Inria,Sophia Antipolis,France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088318447","display_name":"Vincent Laporte","orcid":"https://orcid.org/0000-0002-3468-352X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vincent Laporte","raw_affiliation_strings":["Université de Lorraine,CNRS, Inria, LORIA,Nancy,France,F-54000"],"affiliations":[{"raw_affiliation_string":"Université de Lorraine,CNRS, Inria, LORIA,Nancy,France,F-54000","institution_ids":["https://openalex.org/I4210121838","https://openalex.org/I1294671590","https://openalex.org/I90183372"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085787959","display_name":"Tiago Oliveira","orcid":"https://orcid.org/0000-0001-7395-3070"},"institutions":[{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tiago Oliveira","raw_affiliation_strings":["MPI-SP,Bochum,Germany","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)"],"affiliations":[{"raw_affiliation_string":"MPI-SP,Bochum,Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104010220","display_name":"Swarn Priya","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Swarn Priya","raw_affiliation_strings":["Inria,Sophia Antipolis,France"],"affiliations":[{"raw_affiliation_string":"Inria,Sophia Antipolis,France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074344027","display_name":"Peter Schwabe","orcid":"https://orcid.org/0000-0002-1310-0997"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I4210096592","display_name":"Max Planck Institute for Security and Privacy","ror":"https://ror.org/00bj0r217","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210096592"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Peter Schwabe","raw_affiliation_strings":["MPI-SP,Bochum,Germany","Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)"],"affiliations":[{"raw_affiliation_string":"MPI-SP,Bochum,Germany","institution_ids":["https://openalex.org/I4210096592"]},{"raw_affiliation_string":"Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)","institution_ids":["https://openalex.org/I4210096592"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092519527","display_name":"Lucas Tabary-Maujean","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128565","display_name":"CEA Paris-Saclay","ror":"https://ror.org/03n15ch10","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Lucas Tabary-Maujean","raw_affiliation_strings":["ENS Paris-Saclay,Gif-sur-Yvette,France"],"affiliations":[{"raw_affiliation_string":"ENS Paris-Saclay,Gif-sur-Yvette,France","institution_ids":["https://openalex.org/I4210128565"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5084848032"],"corresponding_institution_ids":["https://openalex.org/I4210096592"],"apc_list":null,"apc_paid":null,"fwci":3.6138,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.94301273,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1094","last_page":"1111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","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/T11424","display_name":"Security and Verification in Computing","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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9854999780654907,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8040703535079956},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.7782855033874512},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6152341365814209},{"id":"https://openalex.org/keywords/nist","display_name":"NIST","score":0.4956322908401489},{"id":"https://openalex.org/keywords/elliptic-curve-cryptography","display_name":"Elliptic curve cryptography","score":0.43178796768188477},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.41235750913619995},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.373034805059433},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3428914546966553},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.23671144247055054},{"id":"https://openalex.org/keywords/public-key-cryptography","display_name":"Public-key cryptography","score":0.20168501138687134},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16453638672828674},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.12165749073028564}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8040703535079956},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.7782855033874512},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6152341365814209},{"id":"https://openalex.org/C111219384","wikidata":"https://www.wikidata.org/wiki/Q6954384","display_name":"NIST","level":2,"score":0.4956322908401489},{"id":"https://openalex.org/C167615521","wikidata":"https://www.wikidata.org/wiki/Q1048911","display_name":"Elliptic curve cryptography","level":4,"score":0.43178796768188477},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.41235750913619995},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.373034805059433},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3428914546966553},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.23671144247055054},{"id":"https://openalex.org/C203062551","wikidata":"https://www.wikidata.org/wiki/Q201339","display_name":"Public-key cryptography","level":3,"score":0.20168501138687134},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16453638672828674},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.12165749073028564},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/sp46215.2023.10179418","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179418","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE Symposium on Security and Privacy (SP)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04106448v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04106448","pdf_url":"https://hal.science/hal-04106448v1/file/camera_ready.pdf","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.ieee-security.org/TC/SP2023/","raw_type":"Conference papers"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/289935","is_oa":true,"landing_page_url":"https://hdl.handle.net/2066/289935","pdf_url":"https://repository.ubn.ru.nl//bitstream/handle/2066/289935/289935.pdf","source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04106448v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04106448","pdf_url":"https://hal.science/hal-04106448v1/file/camera_ready.pdf","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.ieee-security.org/TC/SP2023/","raw_type":"Conference papers"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4300000071525574}],"awards":[{"id":"https://openalex.org/G1718986858","display_name":null,"funder_award_id":"ANR-22-PECY-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G18682879","display_name":null,"funder_award_id":"390781972","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G352791218","display_name":null,"funder_award_id":"(BMBF)","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4041451713","display_name":null,"funder_award_id":"ANR-22-PECY-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5106512922","display_name":null,"funder_award_id":"Deutsche Forschungsgemeinschaft (DFG","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5246431558","display_name":null,"funder_award_id":"805031","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5717916917","display_name":null,"funder_award_id":"39078197","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G6364093981","display_name":null,"funder_award_id":"16KISK038","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G6851345361","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G975799825","display_name":null,"funder_award_id":"France 2030 prog","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320311687","display_name":"Ministry of Education","ror":"https://ror.org/03m01yf64"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385080320.pdf","grobid_xml":"https://content.openalex.org/works/W4385080320.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1763079358","https://openalex.org/W1910751411","https://openalex.org/W2619630761","https://openalex.org/W2766545755","https://openalex.org/W2767162229","https://openalex.org/W2866028610","https://openalex.org/W2883613460","https://openalex.org/W2884163605","https://openalex.org/W2884364581","https://openalex.org/W2886207505","https://openalex.org/W2928036819","https://openalex.org/W2963311060","https://openalex.org/W2995664728","https://openalex.org/W3003637591","https://openalex.org/W3015276542","https://openalex.org/W3015465581","https://openalex.org/W3034103899","https://openalex.org/W3045655459","https://openalex.org/W3114864185","https://openalex.org/W3136898164","https://openalex.org/W3156526578","https://openalex.org/W3211894565","https://openalex.org/W3214883374","https://openalex.org/W4296842505","https://openalex.org/W4385187318","https://openalex.org/W6753443810","https://openalex.org/W6753807672"],"related_works":["https://openalex.org/W2807901368","https://openalex.org/W2158491338","https://openalex.org/W2133733652","https://openalex.org/W2072658171","https://openalex.org/W2606392311","https://openalex.org/W4385956668","https://openalex.org/W4318899699","https://openalex.org/W2484747202","https://openalex.org/W4388857716","https://openalex.org/W4322486674"],"abstract_inverted_index":{"The":[0,142,200],"current":[1],"gold":[2],"standard":[3],"of":[4,135,172,182,185,189,203],"cryptographic":[5,24,102,175],"software":[6],"is":[7,131,152,206],"to":[8,20,71,89],"write":[9],"efficient":[10,101],"libraries":[11],"with":[12],"systematic":[13],"protections":[14,205],"against":[15,107,126],"timing":[16],"attacks.":[17,110],"In":[18],"order":[19],"meet":[21],"this":[22],"goal,":[23],"engineers":[25],"increasingly":[26],"use":[27,166],"high-assurance":[28,48,65,163],"cryptography":[29,66],"tools.":[30],"These":[31],"tools":[32,49,67],"guide":[33],"programmers":[34],"and":[35,95,165,188,216],"provide":[36],"rigorous":[37],"guarantees":[38,121],"that":[39,56,104,122,177],"can":[40],"be":[41],"verified":[42],"independently":[43],"by":[44,64,133,196],"library":[45,176],"users.":[46],"However,":[47],"reason":[50],"about":[51],"overly":[52],"simple":[53],"execution":[54,59,73,151],"models":[55],"elide":[57],"transient":[58,72],"leakage.":[60],"Thus,":[61],"implementations":[62,103,171,181],"validated":[63],"remain":[68],"potentially":[69],"vulnerable":[70],"attacks":[74],"such":[75],"as":[76],"Spectre":[77,108,127],"or":[78],"Meltdown.":[79],"Moreover,":[80],"proposed":[81],"countermeasures":[82],"are":[83,105,124],"not":[84],"used":[85],"in":[86,158],"practice":[87],"due":[88],"performance":[90,201],"overhead.We":[91],"propose,":[92],"analyze,":[93],"implement":[94,155],"evaluate":[96],"an":[97,116,173],"approach":[98,112,157],"for":[99,162,168,198,209,214,219],"writing":[100],"protected":[106,125],"v1":[109],"Our":[111],"ensures":[113],"speculative":[114],"constant-time,":[115],"information":[117,138],"flow":[118,139],"property":[119],"which":[120],"programs":[123],"v1.":[128],"Speculative":[129],"constant-time":[130],"enforced":[132],"means":[134],"a":[136,191],"(value-dependent)":[137],"type":[140,143],"system.":[141],"system":[144],"tracks":[145],"security":[146],"levels":[147],"depending":[148],"on":[149],"whether":[150],"misspeculating.":[153],"We":[154],"our":[156,204],"the":[159],"Jasmin":[160],"framework":[161],"cryptography,":[164,187],"it":[167],"protecting":[169],"all":[170],"experimental":[174],"includes":[178],"highly":[179],"optimized":[180],"symmetric":[183],"primitives,":[184],"elliptic-curve":[186],"Kyber,":[190],"lattice-based":[192],"KEM":[193],"recently":[194],"selected":[195],"NIST":[197],"standardization.":[199],"impact":[202],"very":[207],"low;":[208],"example,":[210],"less":[211],"than":[212],"1%":[213],"Kyber":[215],"essentially":[217],"zero":[218],"X25519.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}