{"id":"https://openalex.org/W4308644329","doi":"https://doi.org/10.1145/3548606.3560594","title":"Hammurabi","display_name":"Hammurabi","publication_year":2022,"publication_date":"2022-11-07","ids":{"openalex":"https://openalex.org/W4308644329","doi":"https://doi.org/10.1145/3548606.3560594"},"language":"en","primary_location":{"id":"doi:10.1145/3548606.3560594","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3548606.3560594","pdf_url":null,"source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vtechworks.lib.vt.edu/bitstreams/8c2e9f38-ecbb-4249-86bf-d83a640779cd/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028965385","display_name":"James Larisch","orcid":"https://orcid.org/0000-0002-6279-5828"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"James Larisch","raw_affiliation_strings":["Harvard University, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, MA, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017929909","display_name":"Waqar Aqeel","orcid":"https://orcid.org/0009-0006-5656-5272"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Waqar Aqeel","raw_affiliation_strings":["Duke University, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034722719","display_name":"Michael Lum","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Lum","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039325792","display_name":"Yaelle Goldschlag","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yaelle Goldschlag","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084104621","display_name":"Leah Kannan","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Leah Kannan","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089479073","display_name":"Kasra Torshizi","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kasra Torshizi","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100373830","display_name":"Yujie Wang","orcid":"https://orcid.org/0000-0002-5424-1788"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yujie Wang","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101705523","display_name":"Taejoong Chung","orcid":"https://orcid.org/0000-0003-1270-0373"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taejoong Chung","raw_affiliation_strings":["Virginia Tech, Blacksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088579822","display_name":"Dave Levin","orcid":"https://orcid.org/0000-0003-4957-5131"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dave Levin","raw_affiliation_strings":["University of Maryland, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046808993","display_name":"Bruce M. Maggs","orcid":"https://orcid.org/0000-0002-5692-7062"},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bruce M. Maggs","raw_affiliation_strings":["Duke University & Emerald Innovations, Durham, NC, USA"],"affiliations":[{"raw_affiliation_string":"Duke University & Emerald Innovations, Durham, NC, USA","institution_ids":["https://openalex.org/I170897317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083710366","display_name":"Alan Mislove","orcid":"https://orcid.org/0000-0002-4824-9302"},"institutions":[{"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":"Alan Mislove","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048461894","display_name":"Bryan Parno","orcid":"https://orcid.org/0000-0002-9113-1684"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bryan Parno","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072703507","display_name":"Christo Wilson","orcid":"https://orcid.org/0000-0002-5268-004X"},"institutions":[{"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":"Christo Wilson","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5028965385"],"corresponding_institution_ids":["https://openalex.org/I2801851002"],"apc_list":null,"apc_paid":null,"fwci":0.8348,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74764176,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1857","last_page":"1870"},"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.9998999834060669,"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":0.9998999834060669,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9991999864578247,"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/T10927","display_name":"Access Control and Trust","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.81485915184021},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.6874158382415771},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6601565480232239},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6110683083534241},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22654110193252563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.81485915184021},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.6874158382415771},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6601565480232239},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6110683083534241},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22654110193252563}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3548606.3560594","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3548606.3560594","pdf_url":null,"source":{"id":"https://openalex.org/S4363608815","display_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/114048","is_oa":true,"landing_page_url":"http://hdl.handle.net/10919/114048","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/8c2e9f38-ecbb-4249-86bf-d83a640779cd/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/114048","is_oa":true,"landing_page_url":"http://hdl.handle.net/10919/114048","pdf_url":"https://vtechworks.lib.vt.edu/bitstreams/8c2e9f38-ecbb-4249-86bf-d83a640779cd/download","source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4448065851","display_name":"CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure","funder_award_id":"1901325","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5993282093","display_name":null,"funder_award_id":"CNS-1901047,CNS-1901090,CNS-1901325,CNS-1900879,CNS-1900996,CNS-2053363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6330317126","display_name":"CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure","funder_award_id":"2053363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G726118836","display_name":"CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure","funder_award_id":"1901090","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7611045532","display_name":"CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure","funder_award_id":"1901047","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8813098752","display_name":"CNS Core: Large: Collaborative Research: Towards an Evolvable Public Key Infrastructure","funder_award_id":"1900879","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4308644329.pdf","grobid_xml":"https://content.openalex.org/works/W4308644329.grobid-xml"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W11070830","https://openalex.org/W177815939","https://openalex.org/W1480909796","https://openalex.org/W1563556756","https://openalex.org/W1910624757","https://openalex.org/W1920390248","https://openalex.org/W1965159911","https://openalex.org/W1972788050","https://openalex.org/W1972999341","https://openalex.org/W1976919795","https://openalex.org/W2019016802","https://openalex.org/W2056494114","https://openalex.org/W2077092541","https://openalex.org/W2077667328","https://openalex.org/W2078872626","https://openalex.org/W2095738444","https://openalex.org/W2097012771","https://openalex.org/W2101571537","https://openalex.org/W2103370348","https://openalex.org/W2112736324","https://openalex.org/W2122538967","https://openalex.org/W2124056896","https://openalex.org/W2129426180","https://openalex.org/W2145994642","https://openalex.org/W2151269705","https://openalex.org/W2171239903","https://openalex.org/W2186028149","https://openalex.org/W2299781188","https://openalex.org/W2416597969","https://openalex.org/W2470176151","https://openalex.org/W2532335977","https://openalex.org/W2538863639","https://openalex.org/W2550748725","https://openalex.org/W2618267215","https://openalex.org/W2634547503","https://openalex.org/W2640092413","https://openalex.org/W2650293344","https://openalex.org/W2761748950","https://openalex.org/W2765700031","https://openalex.org/W2794584163","https://openalex.org/W2798786426","https://openalex.org/W2800412265","https://openalex.org/W2806181434","https://openalex.org/W2889666008","https://openalex.org/W2895807258","https://openalex.org/W2980759281","https://openalex.org/W2981067590","https://openalex.org/W2981223859","https://openalex.org/W2989515460","https://openalex.org/W3016862388","https://openalex.org/W3044183949","https://openalex.org/W3094128402","https://openalex.org/W3101275604","https://openalex.org/W3105355360","https://openalex.org/W3109650547","https://openalex.org/W3185373520","https://openalex.org/W3206818901","https://openalex.org/W3209214819","https://openalex.org/W3210059027","https://openalex.org/W3213073946","https://openalex.org/W4210596830","https://openalex.org/W4233819588","https://openalex.org/W4242574860","https://openalex.org/W4243417617","https://openalex.org/W4298051233","https://openalex.org/W4300388644","https://openalex.org/W6635235395"],"related_works":["https://openalex.org/W1999702466","https://openalex.org/W2140386967","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4205997139","https://openalex.org/W4206249920","https://openalex.org/W4255405881","https://openalex.org/W1534488117","https://openalex.org/W1560895966","https://openalex.org/W3018143143"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"using":[3],"a":[4,20,48,94],"logic":[5,21,70],"programming":[6,22,71],"language":[7,23],"to":[8,40,74,88],"disentangle":[9],"X.509":[10],"certificate":[11,95],"validation":[12,17],"policy":[13,28],"from":[14],"mechanism.":[15],"Expressing":[16],"policies":[18,56,81],"in":[19,65,79],"provides":[24],"multiple":[25],"benefits.":[26],"First,":[27],"and":[29,37,61,82],"mechanism":[30],"can":[31,57],"be":[32,58,98],"more":[33],"independently":[34],"written,":[35,54],"augmented,":[36],"analyzed":[38],"compared":[39],"the":[41,84],"current":[42],"practice":[43],"of":[44,86],"interweaving":[45],"them":[46],"within":[47],"C":[49],"or":[50],"C++":[51],"implementation.":[52],"Once":[53],"these":[55],"easily":[59],"shared":[60],"modified":[62],"for":[63],"use":[64,83],"different":[66],"TLS":[67],"clients.":[68],"Further,":[69],"allows":[72],"us":[73],"determine":[75],"when":[76],"clients":[77],"differ":[78],"their":[80],"power":[85],"imputation":[87],"automatically":[89],"generate":[90],"interesting":[91],"certificates,":[92],"e.g.,":[93],"that":[96],"will":[97],"accepted":[99],"by":[100,105],"one":[101],"browser":[102],"but":[103],"not":[104],"another.":[106]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2022-11-13T00:00:00"}