Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Bogdan Mihaila login

Dr. Bogdan Mihaila

Name:Dr. Bogdan Mihaila
Raum:-
Tel:-
eMail:mihaila@in.tum.de
Visitenkarte:

Contact

Contact me by email preferably using GPG (my key: 859D15CB).

Note, that I do not work at the TU Munich anymore. An up to date profile can be found on LinkedIn.


Research Interests

  • Static Program Analysis, Abstract Interpretation
  • Analysis of Binaries, Reverse Engineering

Current projects

  • BinDead - a static analyzer for binaries/machine code
  • BinTrace - tool to record a trace of a program run
  • p9 - GUI for the BinDead analyzer

Former projects

  • VoTUM - a framework to implement and visualize data flow analyses

Theses

  1. B. Mihaila Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities. PhD thesis, Technical University of Munich, Germany, 2015.

    Download: PDF Reference: Bibtex

  2. B. Mihaila Control Flow Reconstruction from PowerPC Binaries. Diploma thesis, Technical University of Munich, Germany, November 2009.

    Download: PDF Reference: Bibtex



Publications of Bogdan Mihaila

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. B. Mihaila and A. Simon. Synthesizing Predicates from Abstract Domain Losses. In J. Badger and K. Y. Rosier, editors, NASA Formal Methods, volume 8430 of LNCS, pages 328--342, Houston, Texas, USA, April 2014. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  2. H. Siegel, B. Mihaila and A. Simon. The Undefined Domain: Precise Relational Information for Entities that Do Not Exist. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  3. B. Mihaila, A. Sepp and A. Simon. Widening as Abstract Domain. In G. Brat, N. Rungta and A. Venet, editors, NASA Formal Methods, volume 7871 of LNCS, pages 170--186, Moffett Field, California, USA, May 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  4. A. Sepp, B. Mihaila and A. Simon. Precise Static Analysis of Binaries by Extracting Relational Information. In  M.Pinzger and D. Poshyvanyk, editors, Working Conference on Reverse Engineering, Limerick, Ireland, October 2011. IEEE Computer Society.

    Detail: Abstract Download: PDF Reference: Bibtex

  5. Andrea Flexeder, Bogdan Mihaila, Michael Petter and Helmut Seidl. Interprocedural Control Flow Reconstruction. In Kazunori Ueda, editor, Asian Symposium on Program Languages and Systems, volume 6461 of Lecture Notes in Computer Science, pages 188-203, Shanghai, China, November 2010. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms