{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T14:32:49Z","timestamp":1780756369774,"version":"3.54.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319457437","type":"print"},{"value":"9783319457444","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45744-4_22","type":"book-chapter","created":{"date-parts":[[2016,9,14]],"date-time":"2016-09-14T04:54:30Z","timestamp":1473828870000},"page":"440-457","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":104,"title":["AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves"],"prefix":"10.1007","author":[{"given":"Nico","family":"Weichbrodt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anil","family":"Kurmus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Pietzuch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R\u00fcdiger","family":"Kapitza","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,15]]},"reference":[{"key":"22_CR1","unstructured":"ARM TrustZone. http:\/\/www.arm.com\/products\/processors\/technologies\/trustzone\/index.php"},{"key":"22_CR2","unstructured":"Baumann, A., Peinado, M., Hunt, G.: Shielding applications from an untrusted cloud with haven. In: Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation, OSDI 2014, pp. 267\u2013283 (2014)"},{"issue":"2","key":"22_CR3","first-page":"131","volume":"2","author":"M Bishop","year":"1996","unstructured":"Bishop, M., Dilger, M.: Checking for race conditions in file accesses. Comput. Syst. 2(2), 131\u2013152 (1996)","journal-title":"Comput. Syst."},{"key":"22_CR4","unstructured":"Borisov, N., Johnson, R., Sastry, N., Wagner, D.: Fixing races for fun and profit: how to abuse atime. In: Proceedings of the 14th Conference on USENIX Security Symposium, SSYM 2005, vol. 14, p. 20 (2005)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Checkoway, S., Shacham, H.: Iago attacks: why the system call API is a bad untrusted RPC interface. In: Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, pp. 253\u2013264 (2013)","DOI":"10.1145\/2490301.2451145"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Chew, L., Lie, D.: Kivati: fast detection and prevention of atomicity violations. In: Proceedings of the 5th European Conference on Computer Systems, EuroSys 2010, pp. 307\u2013320 (2010)","DOI":"10.1145\/1755913.1755945"},{"key":"22_CR7","unstructured":"Dean, D., Hu, A.J.: Fixing races for fun and profit: how to use access(2). In: Proceedings of the 13th Conference on USENIX Security Symposium, SSYM 2004, vol. 13, p. 14 (2004)"},{"issue":"1","key":"22_CR8","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/982962.964023","volume":"39","author":"C Flanagan","year":"2004","unstructured":"Flanagan, C., Freund, S.N.: Atomizer: a dynamic atomicity checker for multithreaded programs. SIGPLAN Not. 39(1), 256\u2013267 (2004)","journal-title":"SIGPLAN Not."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Gao, Q., Zhang, W., Chen, Z., Zheng, M., Qin, F.: 2ndStrike: toward manifesting hidden concurrency typestate bugs. In: Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVI, pp. 239\u2013250 (2011)","DOI":"10.1145\/1950365.1950394"},{"key":"22_CR10","unstructured":"Hariri, A.-A., Zuckerbraun, S., Gorenc, B.: Abusing silent mitigations. In: BlackHat USA (2015)"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Hoekstra, M., Lal, R., Pappachan, P., Phegade, V., Del Cuvillo, J.: Using innovative instructions to create trustworthy software solutions. In: Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2013, p. 11: 1 (2013)","DOI":"10.1145\/2487726.2488370"},{"key":"22_CR12","unstructured":"Intel: Intel$$\\textregistered $$ Software Guard Extensions SDK for Linux* OS, Revision 1.5. https:\/\/01.org\/intel-software-guard-extensions\/documentation\/intel-sgx-sdkdeveloper-reference"},{"key":"22_CR13","unstructured":"Intel: Intel(R) Software Guard Extensions Programming Reference, Revision 2. https:\/\/software.intel.com\/sites\/default\/files\/managed\/48\/88\/329298-002.pdf"},{"key":"22_CR14","unstructured":"Jurczyk, M., Coldwind, G.: Identifying and exploiting windows kernel race conditions via memory access patterns. In: Bochspwn: Exploiting Kernel Race Conditions Found via Memory Access Patterns, p. 69 (2013)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XIII, pp. 329\u2013339 (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: detecting atomicity violations via access interleaving invariants. In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XII, pp. 37\u201348 (2006)","DOI":"10.1145\/1168857.1168864"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Lucia, B., Ceze, L.: Finding concurrency bugs with context-aware communication graphs. In: Proceedings of the 42nd Annual IEEE\/ACM International Symposium on Microarchitecture, MICRO 42, pp. 553\u2013563 (2009)","DOI":"10.1145\/1669112.1669181"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"McKeen, F., Alexandrovich, I., Berenzon, A., Rozas, C.V., Shafi, H., Shanbhogue, V., Savagaonkar, U.R.: Innovative instructions and software model for isolated execution. In: Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2013, p. 10: 1 (2013)","DOI":"10.1145\/2487726.2488368"},{"key":"22_CR19","unstructured":"PaX, PaX address space layout randomization (ASLR) (2003)"},{"issue":"4","key":"22_CR20","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Schuster, F., Costa, M., Fournet, C., Gkantsidis, C., Peinado, M., Mainar-Ruiz, G., Russinovich, M.: VC3: trustworthy data analytics in the cloud using SGX. In: 2015 IEEE Symposium on Security and Privacy (SP), pp. 38\u201354 (2015)","DOI":"10.1109\/SP.2015.10"},{"key":"22_CR22","unstructured":"Serebryany, K., Bruening, D., Potapenko, A., Vyukov, D.: AddressSanitizer: a fast address sanity checker. In: Proceedings of the 2012 USENIX Annual Technical Conference (USENIX ATC 2012), pp. 309\u2013318 (2012)"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Serebryany, K., Iskhodzhanov, T.: ThreadSanitizer: data race detection in practice. In: Proceedings of the Workshop on Binary Instrumentation and Applications, pp. 62\u201371 (2009)","DOI":"10.1145\/1791194.1791203"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Sinha, R., Rajamani, S., Seshia, S., Vaswani, K.: Moat: verifying confidentiality of enclave programs. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2015, pp. 1169\u20131184 (2015)","DOI":"10.1145\/2810103.2813608"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Tsafrir, D., Hertz, T., Wagner, D., Da Silva, D.: Portably solving file TOCTTOU races with hardness amplification. In: FAST 2008, pp. 1\u201318 (2008)","DOI":"10.1145\/1416944.1416948"},{"key":"22_CR26","unstructured":"Twiz, S.: Attacking the Core: Kernel Exploitation Notes. Phrack 64 file 6"},{"key":"22_CR27","unstructured":"Xiong, W., Park, S., Zhang, J., Zhou, Y., Ma, Z.: Ad hoc synchronization considered harmful. In: OSDI, pp. 163\u2013176 (2010)"},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Xu, Y., Cui, W., Peinado, M.: Controlled-channel attacks: deterministic side channels for untrusted operating systems. In: 2015 IEEE Symposium on Security and Privacy (SP), pp. 640\u2013656 (2015)","DOI":"10.1109\/SP.2015.45"},{"key":"22_CR29","unstructured":"Yang, J., Cui, A., Stolfo, S., Sethumadhavan, S.: Concurrency attacks. In: Presented as Part of the 4th USENIX Workshop on Hot Topics in Parallelism (2012)"},{"issue":"3","key":"22_CR30","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/2500875","volume":"57","author":"J Yang","year":"2014","unstructured":"Yang, J., Cui, H., Wu, J., Tang, Y., Hu, G.: Making parallel programs reliable with stable multithreading. Commun. ACM 57(3), 58\u201369 (2014)","journal-title":"Commun. ACM"},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Yu, Y., Rodeheffer, T., Chen, W.: RaceTrack: efficient detection of data race conditions via adaptive tracking. In: Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, SOSP 2005, pp. 221\u2013234 (2005)","DOI":"10.1145\/1095809.1095832"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Zhang, W., Sun, C., Lu, S.: ConMem: detecting severe concurrency bugs through an effect-oriented approach. In: Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems, ASPLOS XV, pp. 179\u2013192 (2010)","DOI":"10.1145\/1736020.1736041"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2016"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45744-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,15]],"date-time":"2021-09-15T02:58:25Z","timestamp":1631674705000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-45744-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319457437","9783319457444"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45744-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"15 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Heraklion","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}