{"id":"https://openalex.org/W2888479313","doi":"https://doi.org/10.1007/978-3-319-99828-2_22","title":"Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations","display_name":"Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2888479313","doi":"https://doi.org/10.1007/978-3-319-99828-2_22","mag":"2888479313"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-99828-2_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99828-2_22","pdf_url":null,"source":{"id":"https://openalex.org/S4210185096","display_name":"IFIP advances in information and communication technology","issn_l":"1868-422X","issn":["1868-422X","1868-4238"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP Advances in Information and Communication Technology","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-02023718","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100344481","display_name":"Wei Chen","orcid":"https://orcid.org/0000-0002-7663-278X"},"institutions":[{"id":"https://openalex.org/I3130638677","display_name":"Edinburgh College","ror":"https://ror.org/04vpa6h32","country_code":"GB","type":"education","lineage":["https://openalex.org/I3130638677"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wei Chen","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK","University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)","institution_ids":["https://openalex.org/I3130638677","https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100768192","display_name":"Yuhui Lin","orcid":"https://orcid.org/0000-0002-9601-6538"},"institutions":[{"id":"https://openalex.org/I3130638677","display_name":"Edinburgh College","ror":"https://ror.org/04vpa6h32","country_code":"GB","type":"education","lineage":["https://openalex.org/I3130638677"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Yuhui Lin","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK","University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)","institution_ids":["https://openalex.org/I3130638677","https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089187425","display_name":"Vashti Galpin","orcid":"https://orcid.org/0000-0001-8914-1122"},"institutions":[{"id":"https://openalex.org/I3130638677","display_name":"Edinburgh College","ror":"https://ror.org/04vpa6h32","country_code":"GB","type":"education","lineage":["https://openalex.org/I3130638677"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Vashti Galpin","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK","University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)"],"raw_orcid":"https://orcid.org/0000-0001-8914-1122","affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)","institution_ids":["https://openalex.org/I3130638677","https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080152569","display_name":"Vivek Nigam","orcid":"https://orcid.org/0000-0003-4089-1218"},"institutions":[{"id":"https://openalex.org/I4210134795","display_name":"Fortiss","ror":"https://ror.org/042x1tp92","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4210134795"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vivek Nigam","raw_affiliation_strings":["Fortiss GmbH, Munich, Germany","Fortiss [Munich] (Germany)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fortiss GmbH, Munich, Germany","institution_ids":["https://openalex.org/I4210134795"]},{"raw_affiliation_string":"Fortiss [Munich] (Germany)","institution_ids":["https://openalex.org/I4210134795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101640757","display_name":"Myungjin Lee","orcid":"https://orcid.org/0000-0003-2360-7019"},"institutions":[{"id":"https://openalex.org/I3130638677","display_name":"Edinburgh College","ror":"https://ror.org/04vpa6h32","country_code":"GB","type":"education","lineage":["https://openalex.org/I3130638677"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Myungjin Lee","raw_affiliation_strings":["University of Edinburgh, Edinburgh, UK","University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)","institution_ids":["https://openalex.org/I3130638677","https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013254098","display_name":"David Aspinall","orcid":"https://orcid.org/0000-0002-6073-9013"},"institutions":[{"id":"https://openalex.org/I125680101","display_name":"Turing Institute","ror":"https://ror.org/02x2mw849","country_code":"GB","type":"facility","lineage":["https://openalex.org/I125680101"]},{"id":"https://openalex.org/I3130638677","display_name":"Edinburgh College","ror":"https://ror.org/04vpa6h32","country_code":"GB","type":"education","lineage":["https://openalex.org/I3130638677"]},{"id":"https://openalex.org/I4210128584","display_name":"The Alan Turing Institute","ror":"https://ror.org/035dkdb55","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210128584"]},{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Aspinall","raw_affiliation_strings":["Alan Turing Institute, London, UK","University of Edinburgh, Edinburgh, UK","The Alan Turing Institute (British Library, 96 Euston Road, London NW1 2DB - United Kingdom)","University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alan Turing Institute, London, UK","institution_ids":["https://openalex.org/I4210128584"]},{"raw_affiliation_string":"University of Edinburgh, Edinburgh, UK","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"The Alan Turing Institute (British Library, 96 Euston Road, London NW1 2DB - United Kingdom)","institution_ids":["https://openalex.org/I125680101","https://openalex.org/I4210128584"]},{"raw_affiliation_string":"University of Edinburgh (Old College South Bridge Edinburgh EH8 9YL - United Kingdom)","institution_ids":["https://openalex.org/I3130638677","https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"307","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9995999932289124,"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/T11598","display_name":"Internet Traffic Analysis and Secure E-voting","score":0.9995999932289124,"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/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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9976999759674072,"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/computer-science","display_name":"Computer science","score":0.7626010775566101},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5735636353492737},{"id":"https://openalex.org/keywords/covert","display_name":"Covert","score":0.5135829448699951},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.46791794896125793},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.450011670589447},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4243418574333191},{"id":"https://openalex.org/keywords/covert-channel","display_name":"Covert channel","score":0.4177819788455963},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3222339153289795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7626010775566101},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5735636353492737},{"id":"https://openalex.org/C2779338814","wikidata":"https://www.wikidata.org/wiki/Q5179285","display_name":"Covert","level":2,"score":0.5135829448699951},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.46791794896125793},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.450011670589447},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4243418574333191},{"id":"https://openalex.org/C29024540","wikidata":"https://www.wikidata.org/wiki/Q1476964","display_name":"Covert channel","level":5,"score":0.4177819788455963},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3222339153289795},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"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/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.0},{"id":"https://openalex.org/C103377522","wikidata":"https://www.wikidata.org/wiki/Q3493999","display_name":"Security information and event management","level":4,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-319-99828-2_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-99828-2_22","pdf_url":null,"source":{"id":"https://openalex.org/S4210185096","display_name":"IFIP advances in information and communication technology","issn_l":"1868-422X","issn":["1868-422X","1868-4238"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP Advances in Information and Communication Technology","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-02023718v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02023718","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.307-322, ⟨10.1007/978-3-319-99828-2_22⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/dc5c7cd3-74e0-4dad-8035-2c964be2373f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/dc5c7cd3-74e0-4dad-8035-2c964be2373f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Chen, W, Lin, Y, Galpin, V, Nigam, V, Lee, M & Aspinall, D 2018, Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations. in 33rd International Conference on Information Security and Privacy Protection (IFIP SEC 2018). IFIP Advances in Information and Communication Technology (IFIPAICT), vol. 529, Poznan, Poland, pp. 307-322, 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018), Pozna\u0144, Poland, 18/09/18. https://doi.org/10.1007/978-3-319-99828-2_22","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/dc5c7cd3-74e0-4dad-8035-2c964be2373f","is_oa":false,"landing_page_url":"https://hdl.handle.net/20.500.11820/dc5c7cd3-74e0-4dad-8035-2c964be2373f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02023718v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02023718","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"33th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Sep 2018, Poznan, Poland. pp.307-322, ⟨10.1007/978-3-319-99828-2_22⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6419237010","display_name":null,"funder_award_id":"EP/L02277X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W85890223","https://openalex.org/W110155494","https://openalex.org/W1551514414","https://openalex.org/W1684730140","https://openalex.org/W1795786057","https://openalex.org/W1962072139","https://openalex.org/W1994096594","https://openalex.org/W1995875735","https://openalex.org/W2041404167","https://openalex.org/W2051714560","https://openalex.org/W2072550684","https://openalex.org/W2099111195","https://openalex.org/W2130531694","https://openalex.org/W2145693081","https://openalex.org/W2149517094","https://openalex.org/W2157990152","https://openalex.org/W2168595508","https://openalex.org/W2395019113","https://openalex.org/W2460389227","https://openalex.org/W2478708596","https://openalex.org/W2485000773","https://openalex.org/W2485658775","https://openalex.org/W2595350342","https://openalex.org/W2610817200","https://openalex.org/W2803956813","https://openalex.org/W2963991227","https://openalex.org/W2978725006","https://openalex.org/W4240208775","https://openalex.org/W4253647837"],"related_works":["https://openalex.org/W2409612194","https://openalex.org/W4224042389","https://openalex.org/W1568579691","https://openalex.org/W20460883","https://openalex.org/W174282171","https://openalex.org/W1587013156","https://openalex.org/W4386075149","https://openalex.org/W4239080508","https://openalex.org/W2326198059","https://openalex.org/W4319780484"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}