DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis

作者: Engin Kirda , Long Lu , Alejandro Mera , William Robertson , Bo Feng

DOI:

关键词: MicrocontrollerEmbedded systemComputer scienceEmulationFirmwareController (computing)Source codeDiceCode coverageOverhead (engineering)

摘要: … analyzers to emulate DMA input channels and generate or manipulate DMA inputs (… DMA controllers needed) and compatible with common MCU firmware (ie, no firmware-specific DMA …

参考文章(21)
Hovav Shacham, Karl Koscher, Alexei Czeskis, Franziska Roesner, Brian Kantor, Damon McCoy, Tadayoshi Kohno, Stefan Savage, Danny Anderson, Stephen Checkoway, Comprehensive experimental analyses of automotive attack surfaces usenix security symposium. pp. 6- 6 ,(2011)
C. GORDON BELL, ALLEN NEWELL, DANIEL P. SIEWIOREK, 8 – Structural Levels of the PDP-8 Computer Engineering#R##N#A DEC View of Hardware Systems Design. pp. 209- 228 ,(1978) , 10.1016/B978-0-932376-00-8.50016-5
Jonas Zaddach, Luca Bruno, Aurélien Francillon, Davide Balzarotti, AVATAR: A framework to support dynamic security analysis of embedded systems' firmwares network and distributed system security symposium. ,(2014) , 10.14722/NDSS.2014.23229
Markus Kammerstetter, Christian Platzer, Wolfgang Kastner, Prospect: peripheral proxying supported embedded code testing computer and communications security. pp. 329- 340 ,(2014) , 10.1145/2590296.2590301
Matthew J. Renzelmann, Michael M. Swift, Asim Kadav, SymDrive: testing drivers without devices operating systems design and implementation. pp. 279- 292 ,(2012) , 10.5555/2387880.2387908
Karl Koscher, David Molnar, Tadayoshi Kohno, SURROGATES: enabling near-real-time dynamic analyses of embedded systems WOOT'15 Proceedings of the 9th USENIX Conference on Offensive Technologies. pp. 7- 7 ,(2015)
Andrei Costin, Apostolis Zarras, Aurélien Francillon, Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces computer and communications security. pp. 437- 448 ,(2016) , 10.1145/2897845.2897900
Yan Shoshitaishvili, Ruoyu Wang, Christopher Salls, Nick Stephens, Mario Polino, Andrew Dutcher, John Grosen, Siji Feng, Christophe Hauser, Christopher Kruegel, Giovanni Vigna, None, SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis 2016 IEEE Symposium on Security and Privacy (SP). pp. 138- 157 ,(2016) , 10.1109/SP.2016.17
Daming D. Chen, Manuel Egele, Maverick Woo, David Brumley, Towards Automated Dynamic Analysis for Linux-based Embedded Firmware. network and distributed system security symposium. ,(2016) , 10.14722/NDSS.2016.23415
Markus Kammerstetter, Wolfgang Kastner, Daniel Burian, Embedded Security Testing with Peripheral Device Caching and Runtime Program State Approximation international conference on emerging security information systems and technologies. pp. 21- 26 ,(2016)