专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20110179403A1 SYSTEM AND METHOD FOR ANNOTATION-DRIVEN FUNCTION INLINING 有权
标题翻译：用于引导驱动功能的系统和方法
公开(公告)号：US20110179403A1
公开(公告)日：2011-07-21
申请号：US12688807
申请日：2010-01-15
申请人： Julien Lerouge , Nicholas T. Sullivan , Ginger M. Myles , Jon McLachlan , Augustin J. Farrugia
发明人： Julien Lerouge , Nicholas T. Sullivan , Ginger M. Myles , Jon McLachlan , Augustin J. Farrugia
IPC分类号： G06F9/45
CPC分类号： G06F21/14 , G06F8/4443 , G06F9/463 , G06F17/241
摘要： Disclosed herein are systems, methods, and computer-readable storage media for obfuscating using inlined functions. A system configured to practice the method receives a program listing including annotated functions for obfuscation, identifies an annotated function called more than once in the program listing, and creates an inline control flow structure in the program listing for the identified annotated function, the control flow structure being computationally equivalent to inlining the identified annotated function into the program listing for each occurrence of the identified annotated function. The program listing can include tiers of annotated functions. The system can identify annotated functions called more than once based on an optionally generated callgraph. The system can create inline control flow structures in the program listing in order of annotation importance. The system can identify how many times each annotated function is called in the program listing.
摘要翻译：本文公开了用于使用内联函数进行混淆的系统，方法和计算机可读存储介质。配置为实施该方法的系统接收包括用于模糊化的注释功能的程序列表，在程序列表中标识多于一次的注释函数，并且在所述程序列表中为所识别的注释功能创建一个内联控制流结构，计算结构相当于将所识别的注释功能内联到所述识别的注释功能的每次出现的程序列表中。程序列表可以包括注释功能的层次。系统可以基于可选地生成的呼叫图来识别多次调用的注释功能。该系统可以在注释重要性的顺序创建程序列表中的内联控制流结构。系统可以识别每个注释功能在程序列表中调用的次数。

2. 发明申请

US20110307873A1 SYSTEM AND METHOD FOR ENTROPY POOL VERIFICATION 有权
标题翻译：入侵池验证的系统和方法
公开(公告)号：US20110307873A1
公开(公告)日：2011-12-15
申请号：US12815298
申请日：2010-06-14
申请人： Jon McLachlan , Julien Lerouge , Nicholas T. Sullivan , Ganna Zaks , Augustin J. Farrugia
发明人： Jon McLachlan , Julien Lerouge , Nicholas T. Sullivan , Ganna Zaks , Augustin J. Farrugia
IPC分类号： G06F9/44
CPC分类号： G06F7/588 , G06F21/64 , G06F2221/2145 , H04L2209/16
摘要： Disclosed are systems, methods, and non-transitory computer-readable storage media for detecting changes in a source of entropy. A system configured to practice the method generates a cyclic graph based at least in part on the values in the entropy pool. Using the cyclic graph and one or more starting points, the system establishes one or more baseline properties for the cyclic graph. These properties can include the number of steps required to identify a cycle in the graph or the number of steps required to traverse the graph from one or more starting points to a selected end point. The computed properties are then stored for later use. As execution progresses, the system monitors the entropy pool to detect a change by regenerating the cyclic graph and using the stored properties.
摘要翻译：公开了用于检测熵源中的变化的系统，方法和非暂时的计算机可读存储介质。配置为实施该方法的系统至少部分地基于熵池中的值来生成循环图。使用循环图和一个或多个起始点，系统建立循环图的一个或多个基线属性。这些属性可以包括识别图中的周期所需的步骤数量，或者从一个或多个起始点到所选终点遍历图形所需的步骤数。然后将计算的属性存储以供以后使用。随着执行的进行，系统通过重新生成循环图并使用存储的属性来监视熵池来检测变化。

3. 发明授权

US08887140B2 System and method for annotation-driven function inlining 有权
标题翻译：注释驱动函数内联的系统和方法
公开(公告)号：US08887140B2
公开(公告)日：2014-11-11
申请号：US12688807
申请日：2010-01-15
申请人： Julien Lerouge , Nicholas T. Sullivan , Gideon M. Myles , Jon McLachlan , Augustin J. Farrugia
发明人： Julien Lerouge , Nicholas T. Sullivan , Gideon M. Myles , Jon McLachlan , Augustin J. Farrugia
IPC分类号： G06F21/14 , G06F9/45 , G06F9/46 , G06F17/24
CPC分类号： G06F21/14 , G06F8/4443 , G06F9/463 , G06F17/241
摘要： Disclosed herein are systems, methods, and computer-readable storage media for obfuscating using inlined functions. A system configured to practice the method receives a program listing including annotated functions for obfuscation, identifies an annotated function called more than once in the program listing, and creates an inline control flow structure in the program listing for the identified annotated function, the control flow structure being computationally equivalent to inlining the identified annotated function into the program listing for each occurrence of the identified annotated function. The program listing can include tiers of annotated functions. The system can identify annotated functions called more than once based on an optionally generated callgraph. The system can create inline control flow structures in the program listing in order of annotation importance. The system can identify how many times each annotated function is called in the program listing.
摘要翻译：本文公开了用于使用内联函数进行混淆的系统，方法和计算机可读存储介质。配置为实施该方法的系统接收包括用于模糊化的注释功能的程序列表，在程序列表中标识多于一次的注释函数，并且在所述程序列表中为所识别的注释功能创建一个内联控制流结构，计算结构相当于将所识别的注释功能内联到所述识别的注释功能的每次出现的程序列表中。程序列表可以包括注释功能的层次。系统可以基于可选地生成的呼叫图来识别多次调用的注释功能。该系统可以在注释重要性的顺序创建程序列表中的内联控制流结构。系统可以识别每个注释功能在程序列表中调用的次数。

4. 发明授权

US08656363B2 System and method for entropy pool verification 有权
标题翻译：熵池验证的系统和方法
公开(公告)号：US08656363B2
公开(公告)日：2014-02-18
申请号：US12815298
申请日：2010-06-14
申请人： Jon McLachlan , Julien Lerouge , Nicholas T. Sullivan , Ganna Zaks , Augustin J. Farrugia
发明人： Jon McLachlan , Julien Lerouge , Nicholas T. Sullivan , Ganna Zaks , Augustin J. Farrugia
IPC分类号： G06F9/44 , G06F11/30 , G06F12/14
CPC分类号： G06F7/588 , G06F21/64 , G06F2221/2145 , H04L2209/16
摘要： Disclosed are systems, methods, and non-transitory computer-readable storage media for detecting changes in a source of entropy. A system configured to practice the method generates a cyclic graph based at least in part on the values in the entropy pool. Using the cyclic graph and one or more starting points, the system establishes one or more baseline properties for the cyclic graph. These properties can include the number of steps required to identify a cycle in the graph or the number of steps required to traverse the graph from one or more starting points to a selected end point. The computed properties are then stored for later use. As execution progresses, the system monitors the entropy pool to detect a change by regenerating the cyclic graph and using the stored properties.
摘要翻译：公开了用于检测熵源中的变化的系统，方法和非暂时的计算机可读存储介质。配置为实施该方法的系统至少部分地基于熵池中的值来生成循环图。使用循环图和一个或多个起始点，系统建立循环图的一个或多个基线属性。这些属性可以包括识别图形中的循环所需的步骤数量，或者从一个或多个起始点到所选终点遍历图形所需的步骤数。然后将计算的属性存储以供以后使用。随着执行的进行，系统通过重新生成循环图并使用存储的属性来监视熵池来检测变化。

5. 发明申请

US20110167414A1 SYSTEM AND METHOD FOR OBFUSCATION BY COMMON FUNCTION AND COMMON FUNCTION PROTOTYPE 有权
标题翻译：通过共同功能和常用功能原型进行OBFUSCING的系统和方法
公开(公告)号：US20110167414A1
公开(公告)日：2011-07-07
申请号：US12651953
申请日：2010-01-04
申请人： Christopher Arthur Lattner , Tanya Michelle Lattner , Julien Lerouge , Ginger M. Myles , Augustin J. Farrugia , Pierre Betouin
发明人： Christopher Arthur Lattner , Tanya Michelle Lattner , Julien Lerouge , Ginger M. Myles , Augustin J. Farrugia , Pierre Betouin
IPC分类号： G06F9/45
CPC分类号： G06F8/70 , G06F21/14
摘要： Disclosed herein are systems, methods, and computer-readable storage media for obfuscating by a common function. A system configured to practice the method identifies a set of functions in source code, generates a transformed set of functions by transforming each function of the set of functions to accept a uniform set of arguments and return a uniform type, and merges the transformed set of functions into a single recursive function. The single recursive function can allocate memory in the heap. The stack can contain a pointer to the allocated memory in the heap. The single recursive function can include instructions for creating and explicitly managing a virtual stack in the heap. The virtual stack can emulate what would happen to the real stack if one of the set of functions was called. The system can further compile the source code including the single recursive function.
摘要翻译：本文公开了用于通过共同功能进行混淆的系统，方法和计算机可读存储介质。被配置为实施该方法的系统识别源代码中的一组函数，通过将函数集合的每个函数变换为接受统一的参数集合并返回统一类型来生成变换的函数集合，并且将经变换的集合函数转换为单个递归函数。单个递归函数可以在堆中分配内存。堆栈可以包含指向堆中分配的内存的指针。单个递归函数可以包括用于创建和显式管理堆中的虚拟堆栈的说明。如果调用了一组函数，虚拟堆栈可以模拟真实堆栈将会发生什么。该系统可以进一步编译包含单个递归函数的源代码。

6. 发明申请

US20110055638A1 SYSTEM AND METHOD FOR ANNOTATION DRIVEN INTEGRITY VERIFICATION 有权
标题翻译：系统和方法进行安全驾驶完整性验证
公开(公告)号：US20110055638A1
公开(公告)日：2011-03-03
申请号：US12550334
申请日：2009-08-28
申请人： Julien Lerouge , Ginger M. Myles , Tanya Michelle Lattner , Augustin J. Farrugia
发明人： Julien Lerouge , Ginger M. Myles , Tanya Michelle Lattner , Augustin J. Farrugia
IPC分类号： H03M13/09 , G06F9/44 , G06F11/10 , G06F11/07
CPC分类号： G06F21/125 , G06F11/1004
摘要： Disclosed herein are methods, systems, and computer-readable storage media for annotation driven integrity program verification. The method includes distributing verification calls configured to verify a function across call paths leading to the function in source code, generating a binary from the source code having placeholders associated with the verification calls, and filling each placeholder in the binary with verification data or reference checksums. Alternatively, the method includes receiving source code having a verification call, replacing the verification call with one or more equivalent verification calls distributed over a call path, replacing each verification call with a checksum function generating placeholders while compiling, generating a binary based on the placeholders, and filling each placeholder in the binary with reference checksums. The system includes a processor and a module controlling the processor to perform the methods. The computer-readable storage medium includes instructions for controlling a computer to perform the methods.
摘要翻译：本文公开了用于注释驱动的完整性程序验证的方法，系统和计算机可读存储介质。该方法包括分配验证呼叫，配置为验证源于代码中的功能的呼叫路径之间的功能，从具有与验证呼叫相关联的占位符的源代码生成二进制文件，并用验证数据或引用校验和填充二进制中的每个占位符。或者，该方法包括接收具有验证呼叫的源代码，用通过呼叫路径分配的一个或多个等效验证呼叫代替验证呼叫，在编译时用生成占位符的校验和函数替换每个验证呼叫，基于占位符生成二进制并用引用校验和填充二进制中的每个占位符。该系统包括处理器和控制处理器来执行方法的模块。计算机可读存储介质包括用于控制计算机执行方法的指令。

7. 发明申请

US20110047622A1 SYSTEM AND METHOD FOR CALL PATH ENFORCEMENT 有权
标题翻译：用于呼叫路径执行的系统和方法
公开(公告)号：US20110047622A1
公开(公告)日：2011-02-24
申请号：US12546520
申请日：2009-08-24
申请人： Ginger M. Myles , Srinivas Vedula , Gianpaolo Fasoli , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
发明人： Ginger M. Myles , Srinivas Vedula , Gianpaolo Fasoli , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
IPC分类号： G06F21/22 , G06F9/45 , G06F9/46
CPC分类号： G06F21/54 , G06F9/4484 , G06F9/544 , G06F9/545
摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for call path enforcement. The method includes tracking, during run-time, a run-time call order for a series of function calls in a software program, and when executing a protected function call during run-time, allowing or causing proper execution of a protected function call only if the run-time call order matches a predetermined order. The predetermined order can be an expected run-time call order based on a programmed order of function calls in the software program. The method can include maintaining an evolving value associated with the run-time call order and calling the protected function by passing the evolving value and function parameters corrupted based on the evolving value. The protected function uncorrupts the corrupted parameters based on the passed evolving value and an expected predetermined call order. A buffer containing the uncorrupted parameters can replace the corrupted parameters.
摘要翻译：本文公开了用于呼叫路径实施的系统，计算机实现的方法和计算机可读存储介质。该方法包括在运行期间跟踪软件程序中一系列函数调用的运行时调用顺序，以及在运行时执行受保护函数调用时，只允许或导致仅受保护函数调用的正确执行如果运行时间调用顺序与预定顺序相匹配。预定顺序可以是基于软件程序中的功能调用的编程顺序的期望的运行时呼叫顺序。该方法可以包括维护与运行时呼叫顺序相关联的演进值，并通过传递基于演进值而破坏的演进值和功能参数来调用受保护功能。受保护的功能基于传递的演进值和预期的预定呼叫顺序来破坏已损坏的参数。包含未受损参数的缓冲区可以替换损坏的参数。

8. 发明授权

US08302210B2 System and method for call path enforcement 有权
标题翻译：呼叫路径执行的系统和方法
公开(公告)号：US08302210B2
公开(公告)日：2012-10-30
申请号：US12546520
申请日：2009-08-24
申请人： Ginger M. Myles , Srinivas Vedula , Gianpaolo Fasoli , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
发明人： Ginger M. Myles , Srinivas Vedula , Gianpaolo Fasoli , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
IPC分类号： G06F21/00
CPC分类号： G06F21/54 , G06F9/4484 , G06F9/544 , G06F9/545
摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for call path enforcement. The method includes tracking, during run-time, a run-time call order for a series of function calls in a software program, and when executing a protected function call during run-time, allowing or causing proper execution of a protected function call only if the run-time call order matches a predetermined order. The predetermined order can be an expected run-time call order based on a programmed order of function calls in the software program. The method can include maintaining an evolving value associated with the run-time call order and calling the protected function by passing the evolving value and function parameters corrupted based on the evolving value. The protected function uncorrupts the corrupted parameters based on the passed evolving value and an expected predetermined call order. A buffer containing the uncorrupted parameters can replace the corrupted parameters.
摘要翻译：本文公开了用于呼叫路径实施的系统，计算机实现的方法和计算机可读存储介质。该方法包括在运行期间跟踪软件程序中一系列函数调用的运行时调用顺序，以及在运行时执行受保护函数调用时，只允许或导致仅受保护函数调用的正确执行如果运行时间调用顺序与预定顺序相匹配。预定顺序可以是基于软件程序中的功能调用的编程顺序的期望的运行时呼叫顺序。该方法可以包括维护与运行时呼叫顺序相关联的演进值，并通过传递基于演进值而破坏的演进值和功能参数来调用受保护功能。受保护的功能基于传递的演进值和预期的预定呼叫顺序来破坏已损坏的参数。包含未受损参数的缓冲区可以替换损坏的参数。

9. 发明申请

US20110041183A1 SYSTEM AND METHOD FOR CALL REPLACEMENT 有权
标题翻译：用于呼叫替换的系统和方法
公开(公告)号：US20110041183A1
公开(公告)日：2011-02-17
申请号：US12540195
申请日：2009-08-12
申请人： Ginger M. Myles , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
发明人： Ginger M. Myles , Julien Lerouge , Tanya Michelle Lattner , Augustin J. Farrugia
IPC分类号： G06F21/22 , G06F9/45
CPC分类号： G06F21/14
摘要： Disclosed herein are systems, computer-implemented methods, and computer-readable storage media for obfuscating a function call. The method receives a computer program having an annotated function and determines prolog instructions for setting up a stack frame of the annotated function and epilog instructions for tearing down the stack frame. The method places a first portion of the prolog instructions in the computer program preceding a jump to the annotated function and a second portion of the prolog instructions at a beginning of the annotated function. The method places a first portion of the epilog instructions at an end of the annotated function and a second portion of the epilog instructions in the computer program after the jump. Executing the first and second portions of the prolog instructions together sets up the stack frame. Executing the first and the second portions of the epilog instructions together tears down the stack frame.
摘要翻译：这里公开的是系统，计算机实现的方法和用于模糊功能调用的计算机可读存储介质。该方法接收具有注释功能的计算机程序，并且确定用于建立注释功能的堆栈帧的序言指令和用于拆除堆栈帧的epilog指令。该方法将前导序列指令的第一部分放置在跳转之前的计算机程序中，并且在注释的函数的开始处将序言指令的第二部分放置到注释的函数中。该方法将epilog指令的第一部分放置在注释功能的末尾，并且在跳转之后在计算机程序中放置epilog指令的第二部分。执行序言指令的第一和第二部分一起设置堆栈帧。执行epilog指令的第一部分和第二部分一起撕下堆栈帧。

10. 发明授权

US08412953B2 System and method for annotation driven integrity verification 有权
标题翻译：用于注释驱动的完整性验证的系统和方法
公开(公告)号：US08412953B2
公开(公告)日：2013-04-02
申请号：US12550334
申请日：2009-08-28
申请人： Julien Lerouge , Ginger M. Myles , Tanya Michelle Lattner , Augustin J. Farrugia
发明人： Julien Lerouge , Ginger M. Myles , Tanya Michelle Lattner , Augustin J. Farrugia
IPC分类号： G06F9/44
CPC分类号： G06F21/125 , G06F11/1004
摘要： Disclosed herein are methods, systems, and computer-readable storage media for annotation driven integrity program verification. The method includes distributing verification calls configured to verify a function across call paths leading to the function in source code, generating a binary from the source code having placeholders associated with the verification calls, and filling each placeholder in the binary with verification data or reference checksums. Alternatively, the method includes receiving source code having a verification call, replacing the verification call with one or more equivalent verification calls distributed over a call path, replacing each verification call with a checksum function generating placeholders while compiling, generating a binary based on the placeholders, and filling each placeholder in the binary with reference checksums. The system includes a processor and a module controlling the processor to perform the methods. The computer-readable storage medium includes instructions for controlling a computer to perform the methods.
摘要翻译：本文公开了用于注释驱动的完整性程序验证的方法，系统和计算机可读存储介质。该方法包括分配验证呼叫，配置为验证源于代码中的功能的呼叫路径之间的功能，从具有与验证呼叫相关联的占位符的源代码生成二进制文件，并用验证数据或引用校验和填充二进制中的每个占位符。或者，该方法包括接收具有验证呼叫的源代码，用通过呼叫路径分配的一个或多个等效验证呼叫代替验证呼叫，在编译时用生成占位符的校验和函数替换每个验证呼叫，基于占位符生成二进制并用引用校验和填充二进制中的每个占位符。该系统包括处理器和控制处理器来执行方法的模块。计算机可读存储介质包括用于控制计算机执行方法的指令。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式