Tento projekt je spolufinancován se státní podporou Technologické gentury ČR v rámci Programu aplikovaného výzkumu a experimentálního vývoje ALFA
www.tacr.cz
Výzkum užitečný pro společnost.

Detail projektu

Systém pro podporu platformě nezávislé analýzy škodlivého kódu ve spustitelných souborech

Období řešení: 1. 1. 2011 - 31. 12. 2013

Typ projektu: grant

Kód: TA01010667

Agentura: Technologická agentura České republiky

Program: Program aplikovaného výzkumu a experimentálního vývoje ALFA

Název anglicky
System for Support of Platform Independent Malware Analysis in Executable Files
Typ
grant
Klíčová slova

škodlivý kód, antivir, reverzní inženýrství, bezpečnost, analýza kódu, transformace kódu, překladač, zpětný překladač, zpětný assembler

Abstrakt

Cílem projektu je vytvořit kompaktní systém pro podporu platformě nezávislé analýzy potenciálně škodlivého kódu. Tento systém bude schopen pracovat s binárním spustitelným kódem bez ohledu na jeho formát či platformu, pro kterou byl kód vytvořen. Výstupem bude jednotná, funkcionálně ekvivalentní reprezentace kódu v jazyce, který bude pro tento účel navržen. Projekt umožní nahlížet na binární aplikace jednotným způsobem a tím pádem významnou měrou přispěje k rozšíření bezpečnostního softwaru i na platformy, které v současnosti nejsou chráněny (např. mobilní telefony, multimediální přehrávače apod.).

Řešitelé
Krčma Pavel (AVG) , hlavní řešitel
Obluk Karel, Ing., Ph.D. (AVG) , hlavní řešitel
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT) , spoluřešitel
Ďurfina Lukáš, Ing. (UIFS FIT VUT)
Křoustek Jakub, Ing. (UIFS FIT VUT)
Zemek Petr, Ing. (UIFS FIT VUT)
Publikace

2013

  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, roč. 2, č. 1, 2013, s. 18-29. ISSN 1805-4951. Detail
  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Context Parsing (Not Only) of the Object-File-Format Description Language. Computer Science and Information Systems (ComSIS), roč. 10, č. 4, 2013, s. 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, s. 287-296. ISBN 978-966-399-538-0. Detail
  • ĎURFINA Lukáš a 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: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2013, s. 157-161. ISBN 978-80-8143-127-2. Detail
  • KŘOUSTEK Jakub a 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: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2013, s. 259-264. ISBN 978-1-61208-283-7. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub a ZEMEK Petr. Psyb0t Malware: A Step-by-Step Decompilation Case Study. In: 20th Working Conference on Reverse Engineering (WCRE). Koblenz: IEEE Computer Society, 2013, s. 449-456. ISBN 978-1-4799-2930-6. Detail
  • MATULA Peter a KOLÁŘ Dušan. Reconstruction of simple data types in decompilation. In: Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013, s. 1-10. ISBN 978-80-87952-00-9. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub a 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, s. 57-62. ISBN 978-1-4799-3230-6. Detail

2012

  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr a KÁBELE Břetislav. Accurate Recovery of Functions in a Retargetable Decompiler. In: The 15th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2012). Lecture Notes in Computer Science, roč. 7462. Amsterdam: Springer Verlag, 2012, s. 390-392. ISBN 978-3-642-33337-8. Detail
  • KŘOUSTEK Jakub, MATULA Peter, KONČICKÝ Jaromír a KOLÁŘ Dušan. Accurate Retargetable Decompilation Using Additional Debugging Information. In: Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2012, s. 79-84. ISBN 978-1-61208-209-7. Detail
  • ĎURFINA Lukáš a KOLÁŘ Dušan. C Source Code Obfuscator. Kybernetika, roč. 48, č. 3, 2012, s. 8. ISSN 0023-5954. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr a KÁBELE Břetislav. Detection and Recovery of Functions and Their Arguments in a Retargetable Decompiler. In: 19th Working Conference on Reverse Engineering (WCRE 2012). Kingston, Ontario: IEEE Computer Society, 2012, s. 51-60. ISBN 978-0-7695-4891-3. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub a ZEMEK Petr. Generic Source Code Migration Using Decompilation. In: 10th Annual Industrial Simulation Conference (ISC'2012). Brno: EUROSIS, 2012, s. 38-42. ISBN 978-90-77381-71-7. Detail
  • KŘOUSTEK Jakub a KOLÁŘ Dušan. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In: AIP Conference Proceedings. Kos: American Institute of Physics, 2012, s. 466-469. ISBN 978-0-7354-1091-6. ISSN 1551-7616. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KÁBELE Břetislav a KOLÁŘ Dušan. On Complex Reconstruction of Functions from Binary Executable Files. In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2012, s. 100-101. ISBN 978-80-87342-15-2. Detail

2011

  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. In: Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011, s. 164-169. ISBN 978-1-61804-051-0. Detail
  • ĎURFINA Lukáš a KOLÁŘ Dušan. C Source Code Obfuscator. In: Book of Abstracts ISCAMI 2011. Malenovice: Ostravská univerzita, 2011, s. 1. Detail
  • JIRÁK Ota a KOLÁŘ Dušan. Comparison of Classical and Lazy Approach in SCG Compiler. In: NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. Halkidiki: American Institute of Physics, 2011, s. 873-876. ISBN 978-0-7354-0956-9. ISSN 1551-7616. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: The 5th International Conference on Information Security and Assurance. Communications in Computer and Information Science, Volume 200. Brno: Springer Verlag, 2011, s. 72-86. ISBN 978-3-642-23140-7. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masarykova universita, 2011, s. 114-114. ISBN 978-80-214-4305-1. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. International Journal of Security and Its Applications, roč. 5, č. 4, 2011, s. 91-106. ISSN 1738-9976. Detail
  • ĎURFINA Lukáš, KŘOUSTEK Jakub, ZEMEK Petr, KOLÁŘ Dušan, HRUŠKA Tomáš, MASAŘÍK Karel a MEDUNA Alexander. Design of an Automatically Generated Retargetable Decompiler. In: 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011, s. 199-204. ISBN 978-1-61804-056-5. Detail
  • PŘIKRYL Zdeněk, KŘOUSTEK Jakub, HRUŠKA Tomáš a KOLÁŘ Dušan. Fast Just-In-Time Translated Simulation for ASIP Design. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011, s. 279-282. ISBN 978-1-4244-9753-9. Detail
  • ĎURFINA Lukáš a KOLÁŘ Dušan. Generic detection of register realignment. In: AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011, s. 806-809. ISBN 978-0-7354-0956-9. ISSN 1551-7616. Detail
  • KŘOUSTEK Jakub, MATULA Peter a ĎURFINA Lukáš. Generic Plugin-Based Convertor of Executable File Formats and Its Usage in Retargetable Decompilation. In: Proceedings of the 6th International Scientific and Technical Conference (CSIT'2011). Lviv: Ministry of Education, Science, Youth and Sports of Ukraine, Lviv Polytechnic National University, Institute of Computer Science and Information Technologies, 2011, s. 127-130. ISBN 978-966-2191-04-2. Detail
  • ĎURFINA Lukáš. Recognition of Register Realignment by Scattered Context Grammars. In: Proceedings of the 17th Conference and Competition STUDENT EEICT 2011 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2011, s. 470-474. ISBN 978-80-214-4273-3. Detail
  • KŘOUSTEK Jakub, PŘIKRYL Zdeněk, KOLÁŘ Dušan a HRUŠKA Tomáš. Retargetable Multi-level Debugging in HW/SW Codesign. In: The 23rd International Conference on Microelectronics (ICM 2011). Hammamet: Institute of Electrical and Electronics Engineers, 2011, s. 1-6. ISBN 978-1-4577-2209-7. Detail
  • KŘOUSTEK Jakub, ŽIDEK Stanislav, KOLÁŘ Dušan a MEDUNA Alexander. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, roč. 2, č. 4, 2011, s. 1-6. ISSN 0976-5697. Detail
Produkty

2013

  • Bintran - nástroj pro konverzi spustitelných souborů, software, 2013
    Autoři: Křoustek Jakub, Matula Peter, Kolář Dušan, Masařík Karel Detail
  • Fileinfo - nástroj pro detekci použitého překladače či packeru, software, 2013
    Autoři: Křoustek Jakub, Zavoral Milan, Kolář Dušan Detail
  • Rekonfigurovatelný zpětný překladač, software, 2013
    Autoři: Ďurfina Lukáš, Křoustek Jakub, Zemek Petr, Vrana Ondřej, Matula Peter, Kolář Dušan Detail
Nahoru