{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T12:40:04Z","timestamp":1749040804661,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662531396"},{"type":"electronic","value":"9783662531402"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/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":"http:\/\/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-662-53140-2_12","type":"book-chapter","created":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T15:33:43Z","timestamp":1470238423000},"page":"237-256","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Antikernel: A Decentralized Secure Hardware-Software Operating System Architecture"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Zonenberg","sequence":"first","affiliation":[]},{"given":"B\u00fclent","family":"Yener","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,4]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Zonenberg, A.D.: Antikernel: a decentralized secure hardware-software operating system architecture. Ph.D. dissertation, Rensselaer Polytechnic Institute (2015)","DOI":"10.1007\/978-3-662-53140-2_12"},{"issue":"5","key":"12_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/224057.224076","volume":"29","author":"DR Engler","year":"1995","unstructured":"Engler, D.R., et al.: Exokernel: an operating system architecture for application-level resource management. SIGOPS Oper. Syst. Rev. 29(5), 251\u2013266 (1995)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"5","key":"12_CR3","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/1067627.806586","volume":"15","author":"J. M. Rushby","year":"1981","unstructured":"Rushby, J.M.: Design and verification of secure systems. In: Proceedings of the 8th ACM Symposium on Operating Systems Principles, pp. 12\u201321 (1981)","journal-title":"ACM SIGOPS Operating Systems Review"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Martin, W., White, P., Taylor, F.S., Goldberg, A.: Formal construction of the mathematically analyzed separation kernel. In: 15th IEEE International Conference Automated Software Engineering, ASE 2000, pp. 133\u2013141 (2000)","DOI":"10.1109\/ASE.2000.873658"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Baumann, A., et al.: The multikernel: a new OS architecture for scalable multicore systems. In: Proceedings of the ACM SIGOPS 22nd Symposium Operating Systems Principles, New York, NY, USA, pp. 29\u201344 (2009)","DOI":"10.1145\/1629575.1629579"},{"key":"12_CR6","unstructured":"Rutkowska, J., Wojtczuk, R.: Qubes OS Architecture, January 2010. http:\/\/files.qubes-os.org\/files\/doc\/arch-spec-0.3.pdf"},{"key":"12_CR7","unstructured":"ARM Ltd. TrustZone Technology (2014). http:\/\/www.arm.com\/products\/processors\/technologies\/trustzone.php . Accessed 09 Apr 2015"},{"key":"12_CR8","unstructured":"Zonenberg, A.: Antikernel source repository, 18 March 2016. http:\/\/redmine.drawersteak.com\/projects\/achd-soc\/repository . Accessed 18 Mar 2016"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Engel, M., Spinczyk, O.: A radical approach to network-on-chip operatingsystems. In: 42nd Hawaii International Conference on System Sciences, HICSS 2009, pp. 1\u201310, January 2009","DOI":"10.1109\/HICSS.2009.32"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Nordstrom, S., et al.: Application specific real-time microkernel in hardware. In: 14th IEEE-NPSS Real Time Conference 2005, p. 4, June 2005","DOI":"10.1109\/RTC.2005.1547468"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Hu, W., Ma, J., Wu, B., Ju, L., Chan, T.: Distributed on-chip operating systemfor network on chip. In: 2010 IEEE 10th International Conference on Computer and Information Technology (CIT), pp. 2760\u20132767, 1 July 2010","DOI":"10.1109\/CIT.2010.461"},{"issue":"9","key":"12_CR12","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1587\/elex.5.296","volume":"5","author":"S Park","year":"2008","unstructured":"Park, S., et al.: A hardware operating system kernel for multi-processor systems. IEICE Electron. Express 5(9), 296\u2013302 (2008)","journal-title":"IEICE Electron. Express"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"So, H.K.-H., et al.: A unified hardware\/software runtime environment for FPGA-based reconfigurable computers using BORPH. In: Proceedings of the 4th International Conference Hardware\/Software Codesign Systems Synthesis CODES+ISSS 2006, pp. 259\u2013264 (2006)","DOI":"10.1145\/1176254.1176316"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Wasicek, V., et al.: A system-on-a-chip platform for mixed-criticality applications. In: 2010 13th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 210\u2013216, May 2010","DOI":"10.1109\/ISORC.2010.43"},{"key":"12_CR15","unstructured":"Thomas, A., et al.: Towards a Zero-Kernel Operating System, 10 January 2013. http:\/\/www.infsec.cs.uni-saarland.de\/hritcu\/publications\/zkos_draft_jan10_2013.pdf . Accessed 09 Apr 2015"},{"key":"12_CR16","unstructured":"BiiN Corporation. BiiN Systems Overview, Portland, OR, July 1988. http:\/\/bitsavers.informatik.uni-stuttgart.de\/pdf\/biin\/BiiN_Systems_Overview.pdf . Accessed 09 Apr 2015"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Kim, Y., et al.: Flipping bits in memory without accessing them: an experimental study of DRAM disturbance errors. In: 2014 ACM\/IEEE 41st International Symposium on Computer Architecture (ISCA), pp. 361\u2013372, June 2014","DOI":"10.1109\/ISCA.2014.6853210"},{"key":"12_CR18","unstructured":"Evans, C.: Project Zero: Exploiting the DRAM rowhammer bug to gain kernel privileges, 9 March 2015. http:\/\/googleprojectzero.blogspot.com\/2015\/03\/exploiting-dram-rowhammer-bug-to-gain.html . Accessed 09 Apr 2015"},{"key":"12_CR19","unstructured":"Wolf, C.: Yosys open synthesis suite. http:\/\/www.clifford.at\/yosys\/"},{"key":"12_CR20","unstructured":"Zonenberg, A.: From Silicon to Compiler: Reverse-Engineering the Xilinx XC2C32A, 22 July 2015. https:\/\/recon.cx\/2015\/slides\/recon2015-18-andrew-zonenberg-From-Silicon-to-Compiler.pdf . Accessed 02 Mar 2016"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/11813040_31","volume-title":"FM 2006: Formal Methods","author":"S Blazy","year":"2006","unstructured":"Blazy, S., Dargaye, Z., Leroy, X.: Formal verification of a C Compiler front-end. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 460\u2013475. Springer, Heidelberg (2006)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Boldo, S., et al.: A formally-verified C compiler supporting floating-point arithmetic. In: 21st IEEE International Symposium Computer Arithmetic ARITH, pp. 107\u2013115. IEEE Computer Society Press (2013)","DOI":"10.1109\/ARITH.2013.30"}],"container-title":["Lecture Notes in Computer Science","Cryptographic Hardware and Embedded Systems \u2013 CHES 2016"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53140-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T12:12:55Z","timestamp":1749039175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53140-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662531396","9783662531402"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53140-2_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"4 August 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CHES","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Cryptographic Hardware and Embedded Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Santa Barbara","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"17 August 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ches2016","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"}]}}