Skip to content
This repository was archived by the owner on Jan 31, 2022. It is now read-only.

Latest commit

 

History

History
27 lines (19 loc) · 3.29 KB

PUBLICATIONS.md

File metadata and controls

27 lines (19 loc) · 3.29 KB

Project-Related Publications

Peer-Reviewed Publications

  • T. Rupprecht, X. Chen, D. H. White, J. H. Boockmann, G. Lüttgen, and H. Bos. DSIbin: Identifying dynamic data structures in C/C++ binaries. In 32nd Intl. Conf. on Automated Software Engineering (ASE ’17), pp. 331–341, IEEE/ACM, 2017. (DOI: 10.1109/ASE.2017.8115646)
  • T. Rupprecht, X. Chen, D. H. White, J. T. Mühlberg, H. Bos and G. Lüttgen. POSTER: Identifying dynamic data structures in malware. In 23rd Intl. Conf. on Computer and Communications Security (CCS ’16), ACM, 2016. (DOI: 10.1145/2976749.2989041.)
  • D. H. White, T. Rupprecht, and G. Lüttgen. DSI: An evidence-based approach to identify dynamic data structures in C programs. In 25th Intl. Symp. on Software Testing and Analysis (ISSTA ’16), pp. 259–269, ACM, 2016. (DOI: 10.1145/2931037.2931071.)
  • J. T. Mühlberg, D. H. White, M. Dodds, G. Lüttgen and F. Piessens. Learning assertions to verify linked-list programs. In 13th Intl. Conf. on Software Engineering and Formal Methods (SEFM ’15), vol. 9276 of LNCS, pp. 37–52, Springer, 2015. (DOI: 10.1007/978-3-319-22969-0_3.)
  • D. H. White. dsOli: Data structure operation location and identification. In 22nd Intl. Conf. on Program Comprehension (ICPC ’14), pp. 48–52, ACM, 2014. (DOI: 10.1145/2597008.2597800.)
  • D. H. White and G. Lüttgen. Identifying dynamic data structures by learning evolving patterns in memory. In 19th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’13), vol. 7795 of LNCS, pp. 354–369, Springer, 2013. (DOI: 10.1007/978-3-642-36742-7_25.)

Other Publications

  • T. Rupprecht, J. H. Boockmann, D. H. White, and G. Lüttgen. DSI: Automated Detection of Dynamic Data Structures in C Programs and Binary Code. In 19th Coll. on Programming Languages and Foundations of Programming (Kolloquium Programmiersprachen, KPS ’17), 2017. Proceedings available online at http://www.kps2017.uni-jena.de/proceedings/kps2017.pdf.
  • D. H. White, T. Rupprecht, and G. Lüttgen. dsOli2: Discovery and comprehension of interconnected lists in C programs. In 18th Coll. on Programming Languages and Foundations of Programming (Kolloquium Programmiersprachen, KPS ’15), 2015. Proceedings available online at https://www.complang.tuwien.ac.at/kps2015/proceedings.

Bachelor & Master Theses

  • L. Dietz. Memory Snapshot Alignment for Data Structure Discovery. Master thesis, U. Bamberg, Germany, Januar 2017.
  • J. Boockmann. Automatic generation of data structure annotations for pointer program verification. Bachelor thesis, U. Bamberg, Germany, October 2016.
  • K. Welzel. Heap visualisation using interactive memory graphs. Bachelor thesis, U. Bamberg, Germany, March 2016.
  • L. Dietz. Multidimensional repetitive pattern discovery for locating data structure operations. Bachelor thesis, U. Bamberg, Germany, April 2015.

Further material

  • Supplemental material for DSI. http://www.swt-bamberg.de/dsi (This website contains slides of various presentations on DSI as well as an online appendix for the above ISSTA '16 paper.)