{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T08:34:45Z","timestamp":1726475685137},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T00:00:00Z","timestamp":1566172800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,19]]},"DOI":"10.1145\/3343737.3343753","type":"proceedings-article","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T14:53:19Z","timestamp":1565707999000},"page":"8-15","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Understanding Security Vulnerabilities in File Systems"],"prefix":"10.1145","author":[{"given":"Miao","family":"Cai","sequence":"first","affiliation":[{"name":"Nanjing University"}]},{"given":"Hao","family":"Huang","sequence":"additional","affiliation":[{"name":"Nanjing University"}]},{"given":"Jian","family":"Huang","sequence":"additional","affiliation":[{"name":"UIUC"}]}],"member":"320","published-online":{"date-parts":[[2019,8,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872406"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103805"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"volume-title":"Proceedings of Joint NASA and IEEE Mass Storage Conference.","year":"1998","author":"Chervenak Ann","key":"e_1_3_2_1_6_1","unstructured":"Ann Chervenak , Vivekenand Vellanki , and Zachary Kurmas . 1998 . Protecting file systems: A survey of backup techniques . In Proceedings of Joint NASA and IEEE Mass Storage Conference. Ann Chervenak, Vivekenand Vellanki, and Zachary Kurmas. 1998. Protecting file systems: A survey of backup techniques. In Proceedings of Joint NASA and IEEE Mass Storage Conference."},{"volume-title":"Understanding Linux Malware. In 2018 IEEE Symposium on Security and Privacy, SP 2018","year":"2018","author":"Cozzi Emanuele","key":"e_1_3_2_1_7_1","unstructured":"Emanuele Cozzi , Mariano Graziano , Yanick Fratantonio , and Davide Balzarotti . 2018 . Understanding Linux Malware. In 2018 IEEE Symposium on Security and Privacy, SP 2018 , Proceedings, 21-23 May 2018, San Francisco, California, USA. 161--175. Emanuele Cozzi, Mariano Graziano, Yanick Fratantonio, and Davide Balzarotti. 2018. Understanding Linux Malware. In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. 161--175."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2010.5544315"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208461.2208468"},{"volume-title":"CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016","year":"2016","author":"Gu Ronghui","key":"e_1_3_2_1_10_1","unstructured":"Ronghui Gu , Zhong Shao , Hao Chen , Xiongnan (Newman) Wu , Jieung Kim , Vilhelm Sj\u00f6berg , and David Costanzo . 2016 . CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 , Savannah, GA, USA , November 2-4, 2016. 653--669. Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016. 653--669."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"volume-title":"USENIX","year":"1994","author":"Hitz Dave","key":"e_1_3_2_1_12_1","unstructured":"Dave Hitz , James Lau , and Michael A. Malcolm . 1994. File System Design for an NFS File Server Appliance . In USENIX Winter 1994 Technical Conference, San Francisco, California, USA , January 17-21, 1994, Conference Proceedings. 235--246. Dave Hitz, James Lau, and Michael A. Malcolm. 1994. File System Design for an NFS File Server Appliance. In USENIX Winter 1994 Technical Conference, San Francisco, California, USA, January 17-21, 1994, Conference Proceedings. 235--246."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037743"},{"volume-title":"An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016","year":"2016","author":"Huang Jian","key":"e_1_3_2_1_14_1","unstructured":"Jian Huang , Moinuddin K. Qureshi , and Karsten Schwan . 2016 . An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016 , Denver, CO, USA , June 22-24, 2016. 465--478. Jian Huang, Moinuddin K. Qureshi, and Karsten Schwan. 2016. An Evolutionary Study of Linux Memory Management for Fun and Profit. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016, Denver, CO, USA, June 22-24, 2016. 465--478."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134035"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806937"},{"volume-title":"Proceedings of the FAST '03 Conference on File and Storage Technologies","year":"2003","author":"Kallahalla Mahesh","key":"e_1_3_2_1_17_1","unstructured":"Mahesh Kallahalla , Erik Riedel , Ram Swaminathan , Qian Wang , and Kevin Fu . 2003 . Plutus: Scalable Secure File Sharing on Untrusted Storage . In Proceedings of the FAST '03 Conference on File and Storage Technologies , March 31 - April 2, 2003, Cathedral Hill Hotel, San Francisco, California, USA. Mahesh Kallahalla, Erik Riedel, Ram Swaminathan, Qian Wang, and Kevin Fu. 2003. Plutus: Scalable Secure File Sharing on Untrusted Storage. In Proceedings of the FAST '03 Conference on File and Storage Technologies, March 31 - April 2, 2003, Cathedral Hill Hotel, San Francisco, California, USA."},{"volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies, FAST 2015","year":"2015","author":"Lee Changman","key":"e_1_3_2_1_18_1","unstructured":"Changman Lee , Dongho Sim , Joo Young Hwang , and Sangyeun Cho . 2015 . F2FS: A New File System for Flash Storage . In Proceedings of the 13th USENIX Conference on File and Storage Technologies, FAST 2015 , Santa Clara, CA, USA , February 16-19, 2015. 273--286. Changman Lee, Dongho Sim, Joo Young Hwang, and Sangyeun Cho. 2015. F2FS: A New File System for Flash Storage. In Proceedings of the 13th USENIX Conference on File and Storage Technologies, FAST 2015, Santa Clara, CA, USA, February 16-19, 2015. 273--286."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"volume-title":"Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013","year":"2013","author":"Li Yan","key":"e_1_3_2_1_20_1","unstructured":"Yan Li , Nakul Sanjay Dhotre , Yasuhiro Ohara , Thomas M. Kroeger , Ethan L. Miller , and Darrell D. E. Long . 2013. Horus: fine-grained encryption-based security for large-scale storage . In Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013 , San Jose, CA, USA , February 12-15, 2013 . 147--160. Yan Li, Nakul Sanjay Dhotre, Yasuhiro Ohara, Thomas M. Kroeger, Ethan L. Miller, and Darrell D. E. Long. 2013. Horus: fine-grained encryption-based security for large-scale storage. In Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013, San Jose, CA, USA, February 12-15, 2013. 147--160."},{"volume-title":"Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013","year":"2013","author":"Lu Lanyue","key":"e_1_3_2_1_21_1","unstructured":"Lanyue Lu , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Shan Lu . 2013 . A study of Linux file system evolution . In Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013 , San Jose, CA, USA , February 12-15, 2013. Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu. 2013. A study of Linux file system evolution. In Proceedings of the 11th USENIX conference on File and Storage Technologies, FAST 2013, San Jose, CA, USA, February 12-15, 2013."},{"volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14","year":"2014","author":"Lu Lanyue","key":"e_1_3_2_1_22_1","unstructured":"Lanyue Lu , Yupu Zhang , Thanh Do , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2014. Physical Disentanglement in a Container-Based File System . In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14 , Broomfield, CO, USA , October 6-8, 2014 . 81--96. Lanyue Lu, Yupu Zhang, Thanh Do, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2014. Physical Disentanglement in a Container-Based File System. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. 81--96."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"volume-title":"IPCCC'01","year":"2001","author":"Miller Ethan","key":"e_1_3_2_1_24_1","unstructured":"Ethan Miller , Darrell Long , William Freeman , and Benjamin Reed . 2001 . Strong Security for Distributed File Systems. In 2001 IEEE International Performance, Computing, and Communications Conference , IPCCC'01 , Phoenix, AZ, USA , April 4-6, 2001. Ethan Miller, Darrell Long, William Freeman, and Benjamin Reed. 2001. Strong Security for Distributed File Systems. In 2001 IEEE International Performance, Computing, and Communications Conference, IPCCC'01, Phoenix, AZ, USA, April 4-6, 2001."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973333.1973334"},{"volume-title":"Light-weight Application-Level Crash Consistency on Transactional Flash Storage. In 2015 USENIX Annual Technical Conference, USENIX ATC '15","year":"2015","author":"Min Changwoo","key":"e_1_3_2_1_26_1","unstructured":"Changwoo Min , Woon-Hak Kang , Taesoo Kim , Sang-Won Lee , and Young Ik Eom . 2015 . Light-weight Application-Level Crash Consistency on Transactional Flash Storage. In 2015 USENIX Annual Technical Conference, USENIX ATC '15 , July 8-10, Santa Clara, CA, USA. 221--234. Changwoo Min, Woon-Hak Kang, Taesoo Kim, Sang-Won Lee, and Young Ik Eom. 2015. Light-weight Application-Level Crash Consistency on Transactional Flash Storage. In 2015 USENIX Annual Technical Conference, USENIX ATC '15, July 8-10, Santa Clara, CA, USA. 221--234."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_28_1","unstructured":"Overlayfs. 2019. https:\/\/wiki.archlinux.org\/index.php\/Overlay_filesystem. Overlayfs. 2019. https:\/\/wiki.archlinux.org\/index.php\/Overlay_filesystem."},{"volume-title":"All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14","year":"2014","author":"Pillai Thanumalayan Sankaranarayana","key":"e_1_3_2_1_29_1","unstructured":"Thanumalayan Sankaranarayana Pillai , Vijay Chidambaram , Ramnatthan Alagappan , Samer Al-Kiswany , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2014 . All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14 , Broomfield, CO, USA , October 6-8, 2014 . 433--448. Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2014. All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications. In 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. 433--448."},{"key":"e_1_3_2_1_30_1","unstructured":"CVE Researcher Reservation Guidelines. 2019. https:\/\/cve.mitre.org\/cve\/researcher_reservation_guidelines. CVE Researcher Reservation Guidelines. 2019. https:\/\/cve.mitre.org\/cve\/researcher_reservation_guidelines."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.121137"},{"volume-title":"2014 Conference on Timely Results in Operating Systems, TRIOS '14","year":"2014","author":"Sayler Andy","key":"e_1_3_2_1_32_1","unstructured":"Andy Sayler and Dirk Grunwald . 2014 . Custos: Increasing Security with Secret Storage as a Service . In 2014 Conference on Timely Results in Operating Systems, TRIOS '14 , Broomfield, CO, USA , October 5, 2014. Andy Sayler and Dirk Grunwald. 2014. Custos: Increasing Security with Secret Storage as a Service. In 2014 Conference on Timely Results in Operating Systems, TRIOS '14, Broomfield, CO, USA, October 5, 2014."},{"volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016","year":"2016","author":"Sigurbjarnarson Helgi","key":"e_1_3_2_1_33_1","unstructured":"Helgi Sigurbjarnarson , James Bornholt , Emina Torlak , and Xi Wang . 2016 . Push-Button Verification of File Systems via Crash Refinement . In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 , Savannah, GA, USA , November 2-4, 2016. 1--16. Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang. 2016. Push-Button Verification of File Systems via Crash Refinement. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016. 1--16."},{"volume-title":"Self-Securing Storage: Protecting Data in Compromised Systems. In 4th Symposium on Operating System Design and Implementation (OSDI 2000","year":"2000","author":"Strunk John D.","key":"e_1_3_2_1_34_1","unstructured":"John D. Strunk , Garth R. Goodson , Michael L. Scheinholtz , Craig A. N. Soules , and Gregory R. Ganger . 2000 . Self-Securing Storage: Protecting Data in Compromised Systems. In 4th Symposium on Operating System Design and Implementation (OSDI 2000 ), San Diego, California, USA , October 23-25, 2000 . 165--180. John D. Strunk, Garth R. Goodson, Michael L. Scheinholtz, Craig A. N. Soules, and Gregory R. Ganger. 2000. Self-Securing Storage: Protecting Data in Compromised Systems. In 4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000. 165--180."},{"volume-title":"The Fourth Annual Linux Expo","year":"1998","author":"Tweedie Stephen","key":"e_1_3_2_1_35_1","unstructured":"Stephen Tweedie . 1998 . Journaling the Linux ext2fs filesystem . In The Fourth Annual Linux Expo , 1998. Stephen Tweedie. 1998. Journaling the Linux ext2fs filesystem. In The Fourth Annual Linux Expo, 1998."},{"key":"e_1_3_2_1_36_1","unstructured":"WannaCry Ransomware Attack. 2017. https:\/\/en.wikipedia.org\/wiki\/WannaCry_ransomware_attack. WannaCry Ransomware Attack. 2017. https:\/\/en.wikipedia.org\/wiki\/WannaCry_ransomware_attack."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273018"},{"key":"e_1_3_2_1_38_1","unstructured":"XFS. 2017. https:\/\/en.wikipedia.org\/wiki\/XFS. XFS. 2017. https:\/\/en.wikipedia.org\/wiki\/XFS."},{"volume-title":"CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. 59--79","year":"2016","author":"Xu Fengwei","key":"e_1_3_2_1_39_1","unstructured":"Fengwei Xu , Ming Fu , Xinyu Feng , Xiaoran Zhang , Hui Zhang , and Zhaohui Li . 2016 . A Practical Verification Framework for Preemptive OS Kernels. In Computer Aided Verification - 28th International Conference , CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. 59--79 . Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, and Zhaohui Li. 2016. A Practical Verification Framework for Preemptive OS Kernels. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. 59--79."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"volume-title":"General System for Finding Serious Storage System Errors. In 7th Symposium on Operating Systems Design and Implementation (OSDI '06)","author":"Yang Junfeng","key":"e_1_3_2_1_41_1","unstructured":"Junfeng Yang , Can Sar , and Dawson R. Engler . 2006. EXPLODE: A Lightweight , General System for Finding Serious Storage System Errors. In 7th Symposium on Operating Systems Design and Implementation (OSDI '06) , November 6-8, Seattle, WA, USA. 131--146. Junfeng Yang, Can Sar, and Dawson R. Engler. 2006. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. In 7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6-8, Seattle, WA, USA. 131--146."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.7"},{"volume-title":"6th Symposium on Operating System Design and Implementation (OSDI 2004","year":"2004","author":"Yang Junfeng","key":"e_1_3_2_1_43_1","unstructured":"Junfeng Yang , Paul Twohey , Dawson R. Engler , and Madanlal Musuvathi . 2004 . Using Model Checking to Find Serious File System Errors . In 6th Symposium on Operating System Design and Implementation (OSDI 2004 ), San Francisco, California, USA , December 6-8, 2004. Junfeng Yang, Paul Twohey, Dawson R. Engler, and Madanlal Musuvathi. 2004. Using Model Checking to Find Serious File System Errors. In 6th Symposium on Operating System Design and Implementation (OSDI 2004), San Francisco, California, USA, December 6-8, 2004."}],"event":{"name":"APSys '19: 10th ACM SIGOPS Asia-Pacific Workshop on Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Hangzhou China","acronym":"APSys '19"},"container-title":["Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3343737.3343753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T09:03:43Z","timestamp":1673341423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3343737.3343753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,19]]},"references-count":43,"alternative-id":["10.1145\/3343737.3343753","10.1145\/3343737"],"URL":"http:\/\/dx.doi.org\/10.1145\/3343737.3343753","relation":{},"subject":[],"published":{"date-parts":[[2019,8,19]]},"assertion":[{"value":"2019-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
