{"id":"https://openalex.org/W2554729514","doi":"https://doi.org/10.1007/s13389-016-0144-3","title":"Multi-level formal verification","display_name":"Multi-level formal verification","publication_year":2016,"publication_date":"2016-11-22","ids":{"openalex":"https://openalex.org/W2554729514","doi":"https://doi.org/10.1007/s13389-016-0144-3","mag":"2554729514"},"language":"en","primary_location":{"id":"doi:10.1007/s13389-016-0144-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s13389-016-0144-3","pdf_url":null,"source":{"id":"https://openalex.org/S2764800400","display_name":"Journal of Cryptographic Engineering","issn_l":"2190-8508","issn":["2190-8508","2190-8516"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cryptographic Engineering","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/A5027685057","display_name":"Laurent Sauvage","orcid":"https://orcid.org/0000-0002-6940-6856"},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"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/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210165912","display_name":"Laboratoire Traitement et Communication de l\u2019Information","ror":"https://ror.org/057er4c39","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4210165912"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Laurent Sauvage","raw_affiliation_strings":["LTCI, CNRS, T\u00e9l\u00e9com ParisTech, Universit\u00e9 Paris-Saclay, 75013, Paris, France","Secure-IC, 15 rue Claude Chappe, 35510, Cesson-S\u00e9vign\u00e9, France"],"raw_orcid":"https://orcid.org/0000-0002-6940-6856","affiliations":[{"raw_affiliation_string":"LTCI, CNRS, T\u00e9l\u00e9com ParisTech, Universit\u00e9 Paris-Saclay, 75013, Paris, France","institution_ids":["https://openalex.org/I12356871","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210165912"]},{"raw_affiliation_string":"Secure-IC, 15 rue Claude Chappe, 35510, Cesson-S\u00e9vign\u00e9, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109860568","display_name":"Tarik Graba","orcid":null},"institutions":[{"id":"https://openalex.org/I12356871","display_name":"T\u00e9l\u00e9com Paris","ror":"https://ror.org/01naq7912","country_code":"FR","type":"education","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102"]},{"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/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210165912","display_name":"Laboratoire Traitement et Communication de l\u2019Information","ror":"https://ror.org/057er4c39","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12356871","https://openalex.org/I205703379","https://openalex.org/I4210145102","https://openalex.org/I4210165912"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tarik Graba","raw_affiliation_strings":["LTCI, CNRS, T\u00e9l\u00e9com ParisTech, Universit\u00e9 Paris-Saclay, 75013, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LTCI, CNRS, T\u00e9l\u00e9com ParisTech, Universit\u00e9 Paris-Saclay, 75013, Paris, France","institution_ids":["https://openalex.org/I12356871","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210165912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003312296","display_name":"Thibault Porteboeuf","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thibault Porteboeuf","raw_affiliation_strings":["Secure-IC, 15 rue Claude Chappe, 35510, Cesson-S\u00e9vign\u00e9, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Secure-IC, 15 rue Claude Chappe, 35510, Cesson-S\u00e9vign\u00e9, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027685057"],"corresponding_institution_ids":["https://openalex.org/I12356871","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210165912"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07229872,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":"1","first_page":"87","last_page":"95"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","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/T10951","display_name":"Cryptographic Implementations and Security","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/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/T11424","display_name":"Security and Verification in Computing","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.816662073135376},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.662064790725708},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6352154016494751},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5253443121910095},{"id":"https://openalex.org/keywords/countermeasure","display_name":"Countermeasure","score":0.5219930410385132},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5014829635620117},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.49267178773880005},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.44461941719055176},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4264174699783325},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41824275255203247},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.40400171279907227},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3897608518600464},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36545073986053467},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2359277904033661},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.133925199508667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0963297188282013}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.816662073135376},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.662064790725708},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6352154016494751},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5253443121910095},{"id":"https://openalex.org/C21593369","wikidata":"https://www.wikidata.org/wiki/Q1032176","display_name":"Countermeasure","level":2,"score":0.5219930410385132},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5014829635620117},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.49267178773880005},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.44461941719055176},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4264174699783325},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41824275255203247},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.40400171279907227},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3897608518600464},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36545073986053467},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2359277904033661},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.133925199508667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0963297188282013},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s13389-016-0144-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s13389-016-0144-3","pdf_url":null,"source":{"id":"https://openalex.org/S2764800400","display_name":"Journal of Cryptographic Engineering","issn_l":"2190-8508","issn":["2190-8508","2190-8516"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Cryptographic Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W57986108","https://openalex.org/W131640530","https://openalex.org/W1493755219","https://openalex.org/W1597805936","https://openalex.org/W1600075072","https://openalex.org/W1829732909","https://openalex.org/W2000470949","https://openalex.org/W2027462864","https://openalex.org/W2030986741","https://openalex.org/W2031571383","https://openalex.org/W2039845393","https://openalex.org/W2085992264","https://openalex.org/W2110162979","https://openalex.org/W2140985639","https://openalex.org/W2155441237","https://openalex.org/W2160777540","https://openalex.org/W2164819221","https://openalex.org/W2170489924","https://openalex.org/W2950551575","https://openalex.org/W4235346328","https://openalex.org/W4247039285","https://openalex.org/W6635673271"],"related_works":["https://openalex.org/W2378749186","https://openalex.org/W2364088131","https://openalex.org/W2362741838","https://openalex.org/W622044715","https://openalex.org/W2378994067","https://openalex.org/W2347979151","https://openalex.org/W2162728361","https://openalex.org/W2366397149","https://openalex.org/W4312356560","https://openalex.org/W2112298791"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}