{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T06:03:29Z","timestamp":1749621809639,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/rtas.2014.6925989","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T19:35:37Z","timestamp":1421868937000},"page":"37-48","source":"Crossref","is-referenced-by-count":12,"title":["SAFER SLOTH: Efficient, hardware-tailored memory protection"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Danner","sequence":"first","affiliation":[]},{"given":"Rainer","family":"Muller","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Schroder-Preikschat","sequence":"additional","affiliation":[]},{"given":"Wanja","family":"Hofer","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Lohmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"t-kernel: Providing reliable os support to wireless sensor networks","author":"lin","year":"2006","journal-title":"Int Conf on Embedded Networked Sensor Systems"},{"key":"ref11","first-page":"163","article-title":"A dynamic operating system for sensor networks","author":"chih-chieh","year":"2005","journal-title":"Proc 3rd Int Conf Mobile Syst Applicat Services (MobiSys '05)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.18"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.14"},{"journal-title":"Intel Architecture Software Developer s Manual","year":"1999","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1236360.1236404"},{"key":"ref17","first-page":"218","article-title":"A system for coarse grained memory protection in tiny embedded processors","author":"kumar","year":"2007","journal-title":"Proceedings of the 44th Annual Design Automation Conference"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1376789.1376794"},{"key":"ref19","first-page":"128","article-title":"CCured: Type-safe retrofitting of legacy code","author":"george","year":"2002","journal-title":"Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02"},{"key":"ref4","first-page":"520","article-title":"Dependent types for low-level programming","volume":"4421","author":"jeremy","year":"2007","journal-title":"ESOP"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/195792.195795","article-title":"Sharing and protection in a single-address-space operating system","volume":"12","author":"jeffrey","year":"1994","journal-title":"ACM Trans Comp Syst"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1145\/363095.363139","article-title":"Virtual memory, processes, and sharing in MULTICS","volume":"11","author":"robert","year":"1968","journal-title":"CACM"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322283"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1053271.1053275"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.34"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531083"},{"journal-title":"AUTOSAR Specification of operating system (version 5 0 0) Technical report Automotive Open System Architecture GbR","year":"2011","key":"ref1"},{"key":"ref9","first-page":"75","article-title":"XFI: Software guards for system address spaces","author":"erlingsson","year":"2006","journal-title":"7th Symp on OS Design and Implementation (OSDI '06)"},{"journal-title":"Operating system specification 2 2 3 Technical report OSEK\/VDX Group","year":"2011","key":"ref20"},{"key":"ref21","first-page":"203","article-title":"Efficient software-based fault isolation","author":"robert","year":"1993","journal-title":"14th ACM Symp on OS Principles (SOSP '93)"}],"event":{"name":"2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2014,4,15]]},"location":"Berlin, Germany","end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6917167\/6925980\/06925989.pdf?arnumber=6925989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T04:03:26Z","timestamp":1498190606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6925989\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/rtas.2014.6925989","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}