Project Details

Validace spustitelného kódu pro systémy průmyslové automatizace pomocí zpětného překladu

Project Period: 1. 4. 2013 - 31. 12. 2013

Project Type: grant

Code: FEKT/FIT-J-13-2000

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

English title
Validation of Executable Code for Industrial Automation Devices using Decompilation
Type
grant
Keywords

decompilation, executable code, validation, industrial automation, security, ARM

Abstract

The project is focused on validation of applications used in industrial automation. The validation is done on the level of executable code using reverse compilation (i.e. decompilation).

Team members
Ďurfina Lukáš, Ing. (UIFS FIT VUT) , research leader
Bradáč Zdeněk, Ing. (UAMT FEKT VUT) , team leader
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , team leader
Křoustek Jakub, Ing. (UIFS FIT VUT) , team leader
Šír Michal, Ing. (FEKT VUT) , team leader
Publications

2013

  • KŘOUSTEK Jakub and KOLÁŘ Dušan. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, vol. 2, no. 1, 2013, pp. 18-29. ISSN 1805-4951. Detail
  • KŘOUSTEK Jakub and KOLÁŘ Dušan. Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS), vol. 10, no. 4, 2013, pp. 1673-1702. ISSN 1820-0214. Detail
  • KŘOUSTEK Jakub. Decompilation of VLIW Executable Files - Caveats and Pitfalls. In: 3nd International Scientific Conference Theoretical and Applied Aspects of Cybernetics. Kyiv: Cybernetics Faculty of Taras Shevchenko National University of Kyiv, 2013, pp. 287-296. ISBN 978-966-399-538-0. Detail
  • ĎURFINA Lukáš and KOLÁŘ Dušan. Generic detection of the statically linked code. In: Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013, pp. 157-161. ISBN 978-80-8143-127-2. Detail
  • KŘOUSTEK Jakub and KOLÁŘ Dušan. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. In: 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: International Academy, Research, and Industry Association, 2013, pp. 259-264. ISBN 978-1-61208-283-7. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub and ZEMEK Petr. Psyb0t Malware: A Step-By-Step Decompilation Case Study. In: 20th Working Conference on Reverse Engineering (WCRE). Koblenz: IEEE Computer Society, 2013, pp. 449-456. ISBN 978-1-4799-2930-6. Detail
  • KŘOUSTEK Jakub and POKORNÝ Fridolín. Reconstruction of Compiler's Instruction Idioms in a Retargetable Decompiler. In: 4th Workshop on Advances in Programming Languages (WAPL'13). Kraków: IEEE Computer Society, 2013, pp. 1507-1514. ISBN 978-1-4673-4471-5. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub and ZEMEK Petr. Retargetable Machine-Code Decompilation in Your Web Browser. In: 3rd IEEE World Congress on Information and Communication Technologies (WICT 2013). Hanoi: IEEE Computer Society, 2013, pp. 57-62. ISBN 978-1-4799-3230-6. Detail
Products

2013

  • LfDComparator - tool for LfD source codes comparison, software, 2013
    Authors: Ďurfina Lukáš, Křoustek Jakub, Kolář Dušan Detail
Back to top