The Experts below are selected from a list of 354 Experts worldwide ranked by ideXlab platform

Barbora Kozlíková - One of the best experts on this subject based on the ideXlab platform.

Hyung-woo Lee - One of the best experts on this subject based on the ideXlab platform.

  • Automatic Detection of Cryptographic Algorithms in Executable Binary Files using Advanced Code Chain
    2019 International Conference on Green and Human Information Technology (ICGHIT), 2019
    Co-Authors: Han Seong Lee, Hyung-woo Lee
    Abstract:

    Executable Binary Files can be developed using cryptographic modules using open libraries such as OpenSSL and Crypto++ in Windows environments. To determine the embedded encryption algorithms and detect cryptographic modules used in Binary Files, a high degree of knowledge on internal structure is required in de-assembling and analyzing. And the reverse engineering process on Executable Binary File is very difficult. Therefore, we developed an automatic detection tool that can automatically detect the cryptographic algorithm to efficiently analyze cryptographic algorithms as a form of IDA plug-in module. This tool can be used to detect and track cryptographic algorithms used in arbitrary Executables on Windows OS system.

Katarína Furmanová - One of the best experts on this subject based on the ideXlab platform.

Han Seong Lee - One of the best experts on this subject based on the ideXlab platform.

  • Automatic Detection of Cryptographic Algorithms in Executable Binary Files using Advanced Code Chain
    2019 International Conference on Green and Human Information Technology (ICGHIT), 2019
    Co-Authors: Han Seong Lee, Hyung-woo Lee
    Abstract:

    Executable Binary Files can be developed using cryptographic modules using open libraries such as OpenSSL and Crypto++ in Windows environments. To determine the embedded encryption algorithms and detect cryptographic modules used in Binary Files, a high degree of knowledge on internal structure is required in de-assembling and analyzing. And the reverse engineering process on Executable Binary File is very difficult. Therefore, we developed an automatic detection tool that can automatically detect the cryptographic algorithm to efficiently analyze cryptographic algorithms as a form of IDA plug-in module. This tool can be used to detect and track cryptographic algorithms used in arbitrary Executables on Windows OS system.

B. Third - One of the best experts on this subject based on the ideXlab platform.

  • The use of static analysis to detect malware in embedded systems
    8th IET International System Safety Conference incorporating the Cyber Security Conference 2013, 2013
    Co-Authors: C. Sampson, J.g. Drever, B. Third
    Abstract:

    Malware is prolific and not always detected until the damage has occurred. The use of Formal Static Analysis techniques to ensure that software-based safety systems are free from compiler introduced errors is well established (Pavey, Winsborrow, 1995) [1]. This technique ensures that the Executable Binary code created by the compiler is mathematically equivalent to the original source code. This paper reports on extending this technique to detect malware inserted into Executable code. The Source-Code Comparison process was originally developed by British Energy for the verification of the Primary Reactor Protection System software of the Sizewell `B' Nuclear Power Plant. The process takes the Executable Binary File that is resident on the target computer and re-creates the equivalent assembler code using disassembler tools. This is then formally compared to the original source code using the MALPAS Compliance Analysis tool, and any discrepancies are revealed. The process has the ability to detect any Executable Binary code that cannot be traced back to the source code, and may therefore be used to detect the presence of malware in the Executable. The paper reports on experiments conducted by Atkins to determine whether modern control Executable software can be formally proven against the original code. The applicability of the process to software developed for general purpose operating systems (e.g. Windows) will also be evaluated.