- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
Combined approach to solving problems in binary code analysis.
Alexander Getman, Vartan Padaryan, Mikhail Solovyev
This paper proposes a decomposition of generic software security problems, mapping them to smaller problems of static and dynamic binary code analysis.Full text of the paper in pdf
Software security, binary code, dynamic and static analysis
Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.