{"id":"https://openalex.org/W2954410155","doi":"https://doi.org/10.1109/msec.2019.2913027","title":"Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque","display_name":"Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W2954410155","doi":"https://doi.org/10.1109/msec.2019.2913027","mag":"2954410155"},"language":"en","primary_location":{"id":"doi:10.1109/msec.2019.2913027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/msec.2019.2913027","pdf_url":null,"source":{"id":"https://openalex.org/S61906035","display_name":"IEEE Security & Privacy","issn_l":"1540-7993","issn":["1540-7993","1558-4046"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Security &amp; Privacy","raw_type":"journal-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/A5018284688","display_name":"Nadim Kobeissi","orcid":"https://orcid.org/0000-0001-6756-7253"},"institutions":[{"id":"https://openalex.org/I4210165353","display_name":"New York University Paris","ror":"https://ror.org/05mq03431","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210165353","https://openalex.org/I57206974"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Nadim Kobeissi","raw_affiliation_strings":["NYU Paris, France"],"affiliations":[{"raw_affiliation_string":"NYU Paris, France","institution_ids":["https://openalex.org/I4210165353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018284688"],"corresponding_institution_ids":["https://openalex.org/I4210165353"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06351442,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"4","first_page":"94","last_page":"96"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9993000030517578,"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/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9988999962806702,"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/selfie","display_name":"Selfie","score":0.9259764552116394},{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.7481046915054321},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4819778800010681},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.43292921781539917},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3281632661819458},{"id":"https://openalex.org/keywords/optics","display_name":"Optics","score":0.2508739233016968},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.16428887844085693},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.15450090169906616},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09367427229881287},{"id":"https://openalex.org/keywords/nanotechnology","display_name":"Nanotechnology","score":0.06461828947067261}],"concepts":[{"id":"https://openalex.org/C2777454149","wikidata":"https://www.wikidata.org/wiki/Q12068677","display_name":"Selfie","level":2,"score":0.9259764552116394},{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.7481046915054321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4819778800010681},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.43292921781539917},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3281632661819458},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.2508739233016968},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.16428887844085693},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.15450090169906616},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09367427229881287},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.06461828947067261}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/msec.2019.2913027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/msec.2019.2913027","pdf_url":null,"source":{"id":"https://openalex.org/S61906035","display_name":"IEEE Security & Privacy","issn_l":"1540-7993","issn":["1540-7993","1558-4046"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Security &amp; Privacy","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1495444061","https://openalex.org/W1975344666","https://openalex.org/W2042923641","https://openalex.org/W2163005041","https://openalex.org/W2189153846","https://openalex.org/W2561521908","https://openalex.org/W2941390198"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2795495259","https://openalex.org/W4362657427","https://openalex.org/W3028531746","https://openalex.org/W2759481820","https://openalex.org/W3003689229","https://openalex.org/W3122792572","https://openalex.org/W2888671135","https://openalex.org/W4307239547"],"abstract_inverted_index":{"Selfie":[0],"is":[1],"a":[2],"new":[3],"attack":[4],"on":[5],"Transport":[6],"Layer":[7],"Security":[8],"(TLS)":[9],"1.3":[10],"that":[11],"was":[12],"published":[13],"recently<sup>1</sup>":[14],"by":[15],"researchers":[16],"Nir":[17],"Drucker":[18],"and":[19],"Shay":[20],"Gueron.":[21]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}