The invention discloses an SGX-based program control flow obfuscation method and system

A technology of control flow and original program, applied in the direction of program/content distribution protection, instrument, electronic digital data processing, etc., can solve the problems of security limitations, high-performance overhead, etc., and achieve the effect of avoiding malicious acquisition and utilization

Active Publication Date: 2019-04-12
XIDIAN UNIV
View PDF3 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Control flow obfuscation is a straightforward approach to protect the confidentiality of program logic, however, existing control flow obfuscation work mainly focuses on software-based transformations, which have limitations in terms of security and high performance overhead

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • The invention discloses an SGX-based program control flow obfuscation method and system
  • The invention discloses an SGX-based program control flow obfuscation method and system
  • The invention discloses an SGX-based program control flow obfuscation method and system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0047]The present invention will be further described below through specific embodiments.

[0048] It should be noted that the step identification involved in the specific implementation of the present invention is only for making the document look clearer, and the order of the steps can be adjusted accordingly during specific implementation.

[0049] see figure 1 As shown, a method for obfuscating program control flow in the present invention includes:

[0050] S101, hiding variable definitions, hiding the definitions of variables in all branch statement conditions in the original program; the variables are called hidden variables;

[0051] S102, variable hiding, converting all program statements including the hidden variables to hide the hidden variables, and obtaining a converted program and a control flow matrix; the control flow matrix includes the unique identifier of the converted program statement in the original program, right One or more of the identifier of the op...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an SGX-based program control flow obfuscation method and system, and the method comprises the steps: hiding the definitions of variables in all branch statement conditions in an original program, and enabling the variables to be called hidden variables; converting all program statements including the hidden variable to hide the hidden variable, and obtaining a conversion program and a control flow matrix; T; sending the conversion program and the control flow matrix are sent to a remote computing unit, the conversion program is stored in an untrusted environment of theremote computing unit, and the control flow matrix is stored in a trusted environment SGX Enclave of the remote computing unit; and executing the conversion program in the remote computing unit basedon the control flow matrix. According to the method, a program transformation technology and an Intel software protection expansion technology are combined, conditions of each branch statement are converted, the branch statements are evaluated and moved to an opaque and credible hardware execution environment, and therefore high control flow confidentiality is guaranteed.

Description

technical field [0001] The present invention relates to the technical field of control flow obfuscation, in particular to a program control flow obfuscation method and system, an SGX-based program control flow obfuscation method and system, which can hide the variables of each branch statement condition and protect the remote execution environment scene This ensures the confidentiality of the application logic, preventing the application logic from being obtained and utilized maliciously by external attackers. Background technique [0002] SGX is a hardware function introduced by Intel since the sixth generation of CPU. It is a set of x86-64ISA extensions, which can set up a protected execution environment (called enclave), so that users only need to trust the processor and code users place in their enclave. code within. The enclave is protected by the processor: the processor controls access to the enclave's memory, preventing illegal instructions that attempt to read from...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F21/14G06F21/60
CPCG06F21/14G06F21/602
Inventor 王永智苏翠翠沈玉龙
Owner XIDIAN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap