{"id":"https://openalex.org/W2910752585","doi":"https://doi.org/10.1145/3127041.3127044","title":"Quantifying the information leak in cache attacks via symbolic execution","display_name":"Quantifying the information leak in cache attacks via symbolic execution","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2910752585","doi":"https://doi.org/10.1145/3127041.3127044","mag":"2910752585"},"language":"en","primary_location":{"id":"doi:10.1145/3127041.3127044","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127041.3127044","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-IEEE International Conference on Formal Methods and Models for System Design","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/A5088928000","display_name":"Sudipta Chattopadhyay","orcid":"https://orcid.org/0000-0002-4843-5391"},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Sudipta Chattopadhyay","raw_affiliation_strings":["Singapore University of Technology and Design"],"affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design","institution_ids":["https://openalex.org/I152815399"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048000920","display_name":"Moritz Beck","orcid":null},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Moritz Beck","raw_affiliation_strings":["Saarland University"],"affiliations":[{"raw_affiliation_string":"Saarland University","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087431438","display_name":"Ahmed Rezine","orcid":"https://orcid.org/0000-0002-0440-4753"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ahmed Rezine","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051672229","display_name":"Andreas Zeller","orcid":"https://orcid.org/0000-0003-4719-8803"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Zeller","raw_affiliation_strings":["Saarland University"],"affiliations":[{"raw_affiliation_string":"Saarland University","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088928000"],"corresponding_institution_ids":["https://openalex.org/I152815399"],"apc_list":null,"apc_paid":null,"fwci":2.3403,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.91484578,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"35"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9973000288009644,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8426625728607178},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.8094320893287659},{"id":"https://openalex.org/keywords/leak","display_name":"Leak","score":0.5159081220626831},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5124971866607666},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5113314986228943},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4652966260910034},{"id":"https://openalex.org/keywords/side-channel-attack","display_name":"Side channel attack","score":0.44084206223487854},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.43004098534584045},{"id":"https://openalex.org/keywords/cache-pollution","display_name":"Cache pollution","score":0.4274219274520874},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42562249302864075},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.39963018894195557},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.39481398463249207},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.346868097782135},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.335450142621994},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2259310483932495},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1705579161643982}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8426625728607178},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.8094320893287659},{"id":"https://openalex.org/C2780378346","wikidata":"https://www.wikidata.org/wiki/Q1349983","display_name":"Leak","level":2,"score":0.5159081220626831},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5124971866607666},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5113314986228943},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4652966260910034},{"id":"https://openalex.org/C49289754","wikidata":"https://www.wikidata.org/wiki/Q2267081","display_name":"Side channel attack","level":3,"score":0.44084206223487854},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.43004098534584045},{"id":"https://openalex.org/C113166858","wikidata":"https://www.wikidata.org/wiki/Q5015981","display_name":"Cache pollution","level":5,"score":0.4274219274520874},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42562249302864075},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.39963018894195557},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.39481398463249207},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.346868097782135},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.335450142621994},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2259310483932495},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1705579161643982},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3127041.3127044","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3127041.3127044","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-IEEE International Conference on Formal Methods and Models for System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W135467536","https://openalex.org/W147129824","https://openalex.org/W1554359822","https://openalex.org/W1555558540","https://openalex.org/W1821583647","https://openalex.org/W2041713059","https://openalex.org/W2071929572","https://openalex.org/W2073524356","https://openalex.org/W2096449544","https://openalex.org/W2103289002","https://openalex.org/W2104225326","https://openalex.org/W2108104925","https://openalex.org/W2115200566","https://openalex.org/W2119966192","https://openalex.org/W2166293920","https://openalex.org/W2172060328","https://openalex.org/W2293441536","https://openalex.org/W2460965380","https://openalex.org/W2515614845","https://openalex.org/W2534034776","https://openalex.org/W2549498158","https://openalex.org/W2572061353","https://openalex.org/W2603394416","https://openalex.org/W2604497631","https://openalex.org/W2605815030","https://openalex.org/W3028668932","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W1571368810","https://openalex.org/W2379400621","https://openalex.org/W2506225776","https://openalex.org/W2365545255","https://openalex.org/W1484089092","https://openalex.org/W1579918296","https://openalex.org/W2382275753","https://openalex.org/W3005256160","https://openalex.org/W4300838750","https://openalex.org/W2549498158"],"abstract_inverted_index":{"Cache":[0],"timing":[1],"attacks":[2],"allow":[3],"attackers":[4],"to":[5,45,67],"infer":[6],"the":[7,47,59,124],"properties":[8],"of":[9,49,61,120,123],"a":[10,30,33,64,110],"secret":[11],"execution":[12,44],"by":[13],"observing":[14],"cache":[15,34,56,75,111],"hits":[16],"and":[17,36,90],"misses.":[18],"But":[19],"how":[20],"much":[21,116],"information":[22,50,69,97],"can":[23,52,72,113],"actually":[24],"leak":[25,54,70,114],"through":[26,55],"such":[27],"attacks?":[28],"For":[29,99],"given":[31],"program,":[32],"model,":[35],"an":[37,100],"input,":[38],"our":[39,83],"CHALICE":[40,62,94,107],"framework":[41],"leverages":[42],"symbolic":[43],"compute":[46],"amount":[48],"that":[51,71,109],"possibly":[53],"attacks.":[57],"At":[58],"core":[60],"is":[63],"novel":[65],"approach":[66],"quantify":[68],"highlight":[73],"critical":[74],"side-channel":[76],"leaks":[77],"on":[78,85,103],"arbitrary":[79],"binary":[80],"code.":[81],"In":[82],"evaluation":[84],"real-world":[86],"programs":[87],"from":[88],"OpenSSL":[89],"Linux":[91],"GDK":[92],"libraries,":[93],"effectively":[95],"quantifies":[96],"leaks:":[98],"AES-128":[101],"implementation":[102],"Linux,":[104],"for":[105],"instance,":[106],"finds":[108],"attack":[112],"as":[115,117],"127":[118],"out":[119],"128":[121],"bits":[122],"encryption":[125],"key.":[126]},"counts_by_year":[{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}