{"id":"https://openalex.org/W2167785739","doi":"https://doi.org/10.1145/1456482.1456485","title":"VEP","display_name":"VEP","publication_year":2008,"publication_date":"2008-10-27","ids":{"openalex":"https://openalex.org/W2167785739","doi":"https://doi.org/10.1145/1456482.1456485","mag":"2167785739"},"language":"en","primary_location":{"id":"doi:10.1145/1456482.1456485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1456482.1456485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st ACM workshop on Virtual machine security","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/A5010989995","display_name":"Heidar Pirzadeh","orcid":null},"institutions":[{"id":"https://openalex.org/I70931966","display_name":"Universit\u00e9 de Montr\u00e9al","ror":"https://ror.org/0161xgx34","country_code":"CA","type":"education","lineage":["https://openalex.org/I70931966"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Heidar Pirzadeh","raw_affiliation_strings":["University of Montreal, Montreal, PQ, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Montreal, Montreal, PQ, Canada","institution_ids":["https://openalex.org/I70931966"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002805475","display_name":"Danny Dub\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Danny Dub\u00e9","raw_affiliation_strings":["Universit\u00e9 Laval, Quebec City, PQ, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Laval, Quebec City, PQ, Canada","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1755,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.8567307,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"18"},"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.9998000264167786,"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.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8572221398353577},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.743268609046936},{"id":"https://openalex.org/keywords/proof-of-concept","display_name":"Proof of concept","score":0.683090090751648},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.6388704776763916},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.6284935474395752},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5921624898910522},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.43043187260627747},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.41241320967674255},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4075217545032501},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36627689003944397},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3612721264362335},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1364557147026062},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.08501017093658447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8572221398353577},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.743268609046936},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.683090090751648},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6388704776763916},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.6284935474395752},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5921624898910522},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.43043187260627747},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.41241320967674255},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4075217545032501},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36627689003944397},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3612721264362335},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1364557147026062},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.08501017093658447},{"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/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1456482.1456485","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1456482.1456485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st ACM workshop on Virtual machine security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W1512211898","https://openalex.org/W1514258760","https://openalex.org/W1555915743","https://openalex.org/W1587443845","https://openalex.org/W2065575885","https://openalex.org/W2114925693","https://openalex.org/W2115428539","https://openalex.org/W2150769115","https://openalex.org/W2151894250","https://openalex.org/W2171807364","https://openalex.org/W2283022833"],"related_works":["https://openalex.org/W4394650907","https://openalex.org/W154364797","https://openalex.org/W4254119641","https://openalex.org/W3196207352","https://openalex.org/W3036179535","https://openalex.org/W155536188","https://openalex.org/W3037184231","https://openalex.org/W1598473030","https://openalex.org/W2953172612","https://openalex.org/W4385763783"],"abstract_inverted_index":{"One":[0,28],"of":[1,9,60,88,112,117],"the":[2,6,18,22,42,58,61,65,86,98],"key":[3],"issues":[4],"with":[5,100],"practical":[7,130],"applicability":[8],"Proof-Carrying":[10],"Code":[11],"(PCC)":[12],"and":[13,91,126,135],"its":[14],"related":[15],"methods":[16],"is":[17,34,81,107],"difficulty":[19],"in":[20,44,46,68],"communicating":[21],"proofs":[23],"which":[24,96,119],"are":[25],"inherently":[26],"large.":[27],"way":[29],"to":[30,35,56,74,132],"alleviate":[31],"this":[32],"problem":[33],"transmit,":[36],"instead,":[37],"a":[38,47,69,82,89,101,108,122,129],"proof":[39,62,79],"generator":[40,63,80],"for":[41],"program":[43],"question":[45],"generic":[48],"extended":[49],"PCC":[50],"framework":[51],"(EPCC).":[52],"The":[53,72,105],"EPCC":[54,99],"needs":[55],"provide":[57],"execution":[59,124],"at":[64],"consumer":[66],"side":[67],"secure":[70],"manner.":[71],"ability":[73],"securely":[75],"run":[76],"arbitrary":[77],"untrusted":[78],"challenging":[83],"problem.We":[84],"explore":[85],"design":[87],"small":[90],"safe":[92,123],"virtual":[93],"machine":[94],"(VEP)":[95],"provides":[97],"robust":[102],"security":[103,134],"guarantee.":[104],"VEP":[106],"minor":[109],"TCB":[110],"extension":[111],"less":[113],"than":[114],"300":[115],"lines":[116],"code":[118],"works":[120],"as":[121],"environment":[125],"brings":[127],"about":[128],"solution":[131],"thecommon":[133],"resource":[136],"management":[137],"issues.":[138]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}