{"id":"https://openalex.org/W2790930727","doi":"https://doi.org/10.1145/3131672.3131700","title":"Proof-Carrying Sensing","display_name":"Proof-Carrying Sensing","publication_year":2017,"publication_date":"2017-11-06","ids":{"openalex":"https://openalex.org/W2790930727","doi":"https://doi.org/10.1145/3131672.3131700","mag":"2790930727"},"language":"en","primary_location":{"id":"doi:10.1145/3131672.3131700","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131672.3131700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems","raw_type":"proceedings-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/A5042783680","display_name":"Min Wu","orcid":"https://orcid.org/0000-0001-7672-9357"},"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":true,"raw_author_name":"Min Wu","raw_affiliation_strings":["University of Maryland, College Park"],"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078149140","display_name":"Fernando Magno Quint\u00e3o Pereira","orcid":"https://orcid.org/0000-0002-0375-1657"},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Fernando M. Quint\u00e3o Pereira","raw_affiliation_strings":["UFMG, Brazil"],"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100731156","display_name":"Jie Liu","orcid":"https://orcid.org/0000-0001-5953-4566"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jie Liu","raw_affiliation_strings":["Microsoft Research"],"affiliations":[{"raw_affiliation_string":"Microsoft Research","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053829615","display_name":"Heitor S. Ramos","orcid":"https://orcid.org/0000-0003-4523-6466"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heitor S. Ramos","raw_affiliation_strings":["UFAL, Brazil"],"affiliations":[{"raw_affiliation_string":"UFAL, Brazil","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004181940","display_name":"M\u00e1rio S. Alvim","orcid":"https://orcid.org/0000-0002-4196-7467"},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"M\u00e1rio S. Alvim","raw_affiliation_strings":["UFMG, Brazil"],"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101763754","display_name":"Leonardo B. Oliveira","orcid":"https://orcid.org/0000-0002-3691-6171"},"institutions":[{"id":"https://openalex.org/I4210134014","display_name":"Hospital das Cl\u00ednicas da Universidade Federal de Minas Gerais","ror":"https://ror.org/035rpst33","country_code":"BR","type":"healthcare","lineage":["https://openalex.org/I4210134014"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Leonardo B. Oliveira","raw_affiliation_strings":["UFMG, Brazil"],"affiliations":[{"raw_affiliation_string":"UFMG, Brazil","institution_ids":["https://openalex.org/I4210134014"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5042783680"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":0.5851,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77289274,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9994000196456909,"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.9994000196456909,"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.9991000294685364,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7912231683731079},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5722015500068665},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5681057572364807},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5600221157073975},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.48526665568351746},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.48415857553482056},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4810197949409485},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.4803556203842163},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4694010317325592},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35514217615127563}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7912231683731079},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5722015500068665},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5681057572364807},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5600221157073975},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.48526665568351746},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.48415857553482056},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4810197949409485},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.4803556203842163},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4694010317325592},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35514217615127563},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3131672.3131700","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131672.3131700","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1480487832","https://openalex.org/W1513904472","https://openalex.org/W1758781646","https://openalex.org/W1975720701","https://openalex.org/W1994220221","https://openalex.org/W2023808162","https://openalex.org/W2032719203","https://openalex.org/W2034711041","https://openalex.org/W2046686077","https://openalex.org/W2048148451","https://openalex.org/W2051560006","https://openalex.org/W2086748818","https://openalex.org/W2109190643","https://openalex.org/W2129278597","https://openalex.org/W2147063679","https://openalex.org/W2149713648","https://openalex.org/W2157791064","https://openalex.org/W2162882058","https://openalex.org/W2167499589","https://openalex.org/W2167992763","https://openalex.org/W2169239645","https://openalex.org/W2547563342","https://openalex.org/W2548276179","https://openalex.org/W2548743627","https://openalex.org/W2686848947","https://openalex.org/W2951084996","https://openalex.org/W2963445270","https://openalex.org/W4297991408","https://openalex.org/W4300231622"],"related_works":["https://openalex.org/W1969324738","https://openalex.org/W2583313884","https://openalex.org/W2063468672","https://openalex.org/W1530299232","https://openalex.org/W4322710807","https://openalex.org/W3044960660","https://openalex.org/W3080258714","https://openalex.org/W2102291175","https://openalex.org/W3137055701","https://openalex.org/W2295468325"],"abstract_inverted_index":{"It":[0],"is":[1,39,126],"paramount":[2],"to":[3,57,84,105,146,158],"ensure":[4],"secure":[5],"and":[6,22,66,91,102,111,135,142,162],"trustworthy":[7,31,43],"operations":[8,32],"in":[9,50,132,151],"Cyber-Physical":[10],"Systems":[11],"(CPSs),":[12],"guaranteeing":[13],"the":[14,76],"integrity":[15],"of":[16,33,116],"sensing":[17],"data,":[18,110],"enabling":[19],"access":[20],"control,":[21],"safeguarding":[23],"system-level":[24],"operations.":[25],"In":[26,71],"this":[27,117],"paper,":[28],"we":[29,74],"address":[30],"next":[34],"generation":[35],"CPSs.":[36],"Our":[37],"idea":[38],"inspired":[40],"by":[41],"a":[42,55,94],"computing":[44],"framework":[45],"known":[46],"as":[47,69,89],"Proof-Carrying":[48,100],"Code,":[49],"which":[51],"foreign":[52],"executables":[53],"carry":[54],"model":[56],"prove":[58],"that":[59,80,127],"they":[60,67],"have":[61],"not":[62],"been":[63],"tampered":[64],"with":[65,86],"function":[68],"expected.":[70],"our":[72],"context,":[73],"leverage":[75],"physical":[77],"world--a":[78],"channel":[79],"encapsulates":[81],"properties":[82],"impossible":[83],"tamper":[85],"remotely,":[87],"such":[88],"proximity":[90],"causality--to":[92],"create":[93],"challenge-response":[95],"function.":[96],"We":[97],"call":[98],"it":[99,104,154],"Sensing":[101],"use":[103],"help":[106],"authenticate":[107],"devices,":[108],"collected":[109],"locations.":[112],"A":[113],"unique":[114],"advantage":[115],"approach,":[118],"vis-\u00e0-vis":[119],"traditional":[120],"multi-factor":[121],"or":[122],"out-of-band":[123],"authentication":[124,128],"mechanisms,":[125],"proofs":[129],"are":[130,165],"embedded":[131],"sensor":[133],"data":[134],"can":[136],"be":[137],"continuously":[138],"validated":[139],"over":[140],"time":[141],"space":[143],"without":[144],"resorting":[145],"complicated":[147],"cryptographic":[148],"algorithms.":[149],"This,":[150],"turn,":[152],"makes":[153],"fit":[155],"particularly":[156],"well":[157],"CPSs":[159],"where":[160],"mobility":[161],"resource":[163],"constraints":[164],"common.":[166]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}