{"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","doi":"https://doi.org/10.1109/sp46215.2023.10179418","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179418","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"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"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04106448v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084848032","display_name":"Basavesh Ammanaghatta Shivakumar","orcid":"https://orcid.org/0000-0003-0846-8639","observed_orcids":["https://orcid.org/0000-0003-0846-8639"]},"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":"Basavesh Ammanaghatta Shivakumar","raw_affiliation_strings":["MPI-SP,Bochum,Germany","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)"],"raw_orcid":null,"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","observed_orcids":["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)"],"raw_orcid":null,"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","observed_orcids":["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"],"raw_orcid":null,"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","observed_orcids":["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/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"]},{"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/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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université de Lorraine,CNRS, Inria, LORIA,Nancy,France,F-54000","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210121838","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","observed_orcids":["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)"],"raw_orcid":null,"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":"https://orcid.org/0000-0001-5820-6042","observed_orcids":["https://orcid.org/0000-0001-5820-6042"]},"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"],"raw_orcid":null,"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","observed_orcids":["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","MPI SP - Max Planck Institute for Security and Privacy [Bochum] (Germany)","Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)"],"raw_orcid":null,"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"]},{"raw_affiliation_string":"Radboud University [Nijmegen] (Houtlaan 4, \r\n6525 XZ Nijmegen - Netherlands)","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092519527","display_name":"Lucas Tabary-Maujean","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lucas Tabary-Maujean","raw_affiliation_strings":["ENS Paris-Saclay,Gif-sur-Yvette,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENS Paris-Saclay,Gif-sur-Yvette,France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.3355,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":{"value":0.98116014,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"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":0.8862000107765198,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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":0.8862000107765198,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.10769999772310257,"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/T10237","display_name":"Cryptography and Data Security","score":0.0020000000949949026,"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/transient-execution-attacks","display_name":"transient execution attacks","score":0.7580000162124634},{"id":"https://openalex.org/keywords/timing-attacks","display_name":"timing attacks","score":0.6039999723434448},{"id":"https://openalex.org/keywords/kyber","display_name":"Kyber","score":0.6159999966621399},{"id":"https://openalex.org/keywords/x25519","display_name":"X25519","score":0.8550000190734863},{"id":"https://openalex.org/keywords/elliptic-curve-cryptography","display_name":"elliptic curve cryptography","score":0.9079999923706055}],"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":4,"locations":[{"id":"doi:10.1109/sp46215.2023.10179418","doi":"https://doi.org/10.1109/sp46215.2023.10179418","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sp46215.2023.10179418","pdf_url":null,"source":{"id":"https://openalex.org/S4210233669","display_name":"IEEE Symposium on Security and Privacy (S&P)","issn_l":"1081-6011","issn":["1081-6011","2375-1207"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","norway-2"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"conference"},"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","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-04106448","pdf_url":"https://hal.science/hal-04106448v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"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":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/289935","doi":null,"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,"listed_in":[],"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"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/289935","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/289935","pdf_url":"https://repository.ubn.ru.nl/bitstream/handle/2066/289935/2/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,"listed_in":[],"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":"2023 IEEE Symposium on Security and Privacy (SP): May 22 2023 to May 26 2023, San Francisco, CA, US, 1592 - 1609. Piscataway : IEEE","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04106448v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-04106448","pdf_url":"https://hal.science/hal-04106448v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"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":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1190173965","display_name":null,"funder_award_id":"France2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G18682879","display_name":"EXC 2092: CyberSicherheit im Zeitalter gro\u00dfskaliger Angreifer (CASA)","funder_award_id":"390781972","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4041451713","display_name":"Verification of Security Protocols","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/G5246431558","display_name":null,"funder_award_id":"805031","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6364093981","display_name":"Verbundprojekt: 6G-Forschungs-Hub f\u00fcr offene, effiziente und sichere Mobilfunksysteme - 6GEM -, Teilvorhaben: Zuverl\u00e4ssige und adaptive 6G-Netzkonzepte","funder_award_id":"16KISK038","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G8998175856","display_name":"Secure Compilation of Cryptographic primitives","funder_award_id":"ANR-18-CE25-0014","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385080320.pdf","grobid_xml":"https://content.openalex.org/works/W4385080320.grobid-xml"},"referenced_works_count":25,"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/W2781723315","https://openalex.org/W2866028610","https://openalex.org/W2883613460","https://openalex.org/W2884163605","https://openalex.org/W2884364581","https://openalex.org/W2886207505","https://openalex.org/W2903725623","https://openalex.org/W2928036819","https://openalex.org/W2937036172","https://openalex.org/W2978094579","https://openalex.org/W3003637591","https://openalex.org/W3020825203","https://openalex.org/W3045655459","https://openalex.org/W3136898164","https://openalex.org/W3156526578","https://openalex.org/W3177215819","https://openalex.org/W3214883374","https://openalex.org/W4296842505","https://openalex.org/W4385187318","https://openalex.org/W6753807672"],"related_works":["https://openalex.org/W4400224051","https://openalex.org/W3156526578","https://openalex.org/W4416549323","https://openalex.org/W4402264353","https://openalex.org/W3020825203","https://openalex.org/W7153289738","https://openalex.org/W4417070827","https://openalex.org/W4388858775","https://openalex.org/W7062132210","https://openalex.org/W4401717176"],"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":8},{"year":2025,"cited_by_count":14},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":9}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2023-07-23T00:00:00"}