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

81. 发明授权

US07657752B2 Digital signal watermaker 失效
标题翻译：数字信号水印
公开(公告)号：US07657752B2
公开(公告)日：2010-02-02
申请号：US10980907
申请日：2004-11-04
申请人： M. Kivanc Mihcak , Ramarathnam Venkatesan
发明人： M. Kivanc Mihcak , Ramarathnam Venkatesan
IPC分类号： H04L9/00
CPC分类号： G10H1/0058 , G06F17/30026 , G06F17/30743 , G06F17/30758
摘要： Described herein is a technology for facilitating the watermarking of digital signals. This abstract itself is not intended to limit the scope of this patent. The scope of the present invention is pointed out in the appending claims.
摘要翻译：这里描述了一种便于数字信号水印化的技术。本摘要本身并不旨在限制本专利的范围。在所附权利要求中指出了本发明的范围。

82. 发明申请

US20090326907A1 PROGRAM ANALYSIS AS CONSTRAINT SOLVING 有权
标题翻译：程序分析作为约束解
公开(公告)号：US20090326907A1
公开(公告)日：2009-12-31
申请号：US12147908
申请日：2008-06-27
申请人： Sumit Gulwani , Saurabh Srivastava , Ramarathnam Venkatesan
发明人： Sumit Gulwani , Saurabh Srivastava , Ramarathnam Venkatesan
IPC分类号： G06F9/45 , G06F7/60
CPC分类号： G06F8/49
摘要： Described is a technology by which program analysis uses rich invariant templates that may specify an arbitrary Boolean combination of linear inequalities for program verification. Also described is choosing a cut-set that identifies program locations, each of which is associated with an invariant template. The verification generates second-order constraints, converts second-order logic formula based on those constraints into first-order logic formula, then converts the first-order logic formula into a quantifier-free formula, which is then converted into a Boolean satisfiability formula. Off-the-shelf constraint solvers may then be applied to the Boolean satisfiability formula to generate program analysis results. Various templates may be used to convert the second-order logic formula into the first-order logic formula. Further described are interprocedural analysis and the determination of weakest precondition and strongest postcondition with applications to termination analysis, timing bounds analysis, and generation of most-general counterexamples for both termination and safety properties.
摘要翻译：描述了一种技术，程序分析使用丰富的不变模板，可以为程序验证指定线性不等式的任意布尔组合。还描述了选择一个标识程序位置的剪辑，每个程序位置与不变模板相关联。验证产生二阶约束，将基于这些约束的二阶逻辑公式转换为一阶逻辑公式，然后将一阶逻辑公式转换为无量词的公式，然后将其转换为布尔可满足公式。现在可以将现成的约束求解器应用于布尔可满足公式以生成程序分析结果。可以使用各种模板来将二阶逻辑公式转换成一阶逻辑公式。进一步描述的是过程间分析以及最弱前提条件和最强后置条件的确定，适用于终止分析，时序界限分析，以及针对终端和安全属性生成大多数一般的反例。

83. 发明申请

US20080320056A1 FUNCTION MATCHING IN BINARIES 失效
标题翻译：功能匹配在二进制
公开(公告)号：US20080320056A1
公开(公告)日：2008-12-25
申请号：US11767364
申请日：2007-06-22
申请人： Harish Mohanan , Perraju Bendapudi , Abishek Kumarasubramanian , Rajesh Jalan , Ramarathnam Venkatesan
发明人： Harish Mohanan , Perraju Bendapudi , Abishek Kumarasubramanian , Rajesh Jalan , Ramarathnam Venkatesan
IPC分类号： G06F17/30
CPC分类号： G06F11/3672 , G06F21/16
摘要： Which target functions in a target binary have target function basic blocks that match the source function basic blocks in a source function in a source binary is determined. For the target functions having matching target function basic blocks, a target function control flow graph is determined that has the greatest control flow matching strength to a source function control flow graph, wherein a node in the source function control graph represents a source function basic block, wherein a node in a target function control graph represents a target function basic block in a corresponding target function.
摘要翻译：确定目标二进制中的目标函数具有与源二进制中的源函数中的源函数基本块匹配的目标函数基本块。对于具有匹配的目标函数基本块的目标函数，确定对源函数控制流图具有最大控制流匹配强度的目标函数控制流程图，其中源函数控制图中的节点表示源函数基本块其中，目标函数控制图中的节点表示对应目标函数中的目标函数基本块。

84. 发明申请

US20080235802A1 Software Tamper Resistance Via Integrity-Checking Expressions 审中-公开
标题翻译：软件防篡改通过完整性检查表达式
公开(公告)号：US20080235802A1
公开(公告)日：2008-09-25
申请号：US11689188
申请日：2007-03-21
申请人： Ramarathnam Venkatesan , Mariusz H. Jakubowski , Prasad G. Naldurg
发明人： Ramarathnam Venkatesan , Mariusz H. Jakubowski , Prasad G. Naldurg
IPC分类号： H04N7/16
CPC分类号： G06F21/14 , G06F21/125 , G06F21/52
摘要： Implementation of software tamper resistance via integrity checks is described. In one implementation, a tamper resistance tool receives an input program code and generates a tamper-resistant program code using integrity checks. The integrity checks are generated by processing the input program code, and the integrity checks are inserted in various locations in the input program code. Values of the integrity checks are computed during program execution to determine whether a section of the program has been tampered with. Values of the integrity checks may be stored and accessed at any point during execution of the program.
摘要翻译：描述了通过完整性检查来实现软件防篡改。在一个实现中，防篡改工具接收输入程序代码，并使用完整性检查生成防篡改程序代码。完整性检查是通过处理输入程序代码生成的，并且完整性检查被插入输入程序代码中的各个位置。在程序执行期间计算完整性检查的值，以确定程序的某一节是否已被篡改。完整性检查的值可以在执行程序期间的任何时间被存储和访问。

85. 发明申请

US20080127125A1 Virtualization For Diversified Tamper Resistance 有权
标题翻译：多样化防篡改虚拟化
公开(公告)号：US20080127125A1
公开(公告)日：2008-05-29
申请号：US11553841
申请日：2006-10-27
申请人： Bertrand Anckaert , Mariusz H. Jakubowski , Ramarathnam Venkatesan
发明人： Bertrand Anckaert , Mariusz H. Jakubowski , Ramarathnam Venkatesan
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F9/45504 , G06F21/14 , G06F21/53
摘要： A computer-implementable method includes providing an instruction set architecture that comprises features to generate diverse copies of a program, using the instruction set architecture to generate diverse copies of a program and providing a virtual machine for execution of one of the diverse copies of the program. Various exemplary methods, devices, systems, etc., use virtualization for diversifying code and/or virtual machines to thereby enhance software security.
摘要翻译：计算机可实现的方法包括提供指令集架构，其包括特征以生成程序的不同副本，使用指令集架构来生成程序的不同副本并提供用于执行程序的各种副本之一的虚拟机。各种示例性方法，设备，系统等使用用于使代码和/或虚拟机多样化的虚拟化，从而增强软件安全性。

86. 发明申请

US20080126910A1 LOW DIMENSIONAL SPECTRAL CONCENTRATION CODES AND DIRECT LIST DECODING 有权
标题翻译：低维频谱浓度代码和直接列表解码
公开(公告)号：US20080126910A1
公开(公告)日：2008-05-29
申请号：US11772049
申请日：2007-06-29
申请人： Ramarathnam Venkatesan , Adi Akavia
发明人： Ramarathnam Venkatesan , Adi Akavia
IPC分类号： H03M13/03 , G06F11/00
CPC分类号： H03M13/3746 , H03M13/45 , H03M13/63
摘要： Systems and methods provide an optionally keyed error-correcting code that is spectrally concentrated. Each codeword of the low dimensional spectral concentration code (LDSC code) typically has very few coefficients of large magnitude and can be constructed even with limited processing resources. Decoding can be performed on low power devices. Error-correcting code is constructed around a key using basic computer arithmetic for computations instead of finite field arithmetic, thus saving energy. A recipient who possesses the key enjoys correction of a relatively high percentage of noise errors. In one implementation, a direct list-decoder iteratively estimates a list of message words directly, instead of a list of codewords. In variations, a unique message word is selected from the list either by applying a randomness test or by using message passing.
摘要翻译：系统和方法提供了光谱集中的可选密钥纠错码。低维频谱浓度码（LDSC码）的每个码字通常具有非常少的大幅度系数，并且甚至可以在有限的处理资源的情况下构造。可以在低功耗设备上进行解码。使用计算的基本计算机算术而不是有限域算术来构造纠错码，从而节省能量。具有密钥的接收者可以修正相对较高百分比的噪声误差。在一个实现中，直接列表解码器直接迭代地估计消息字列表，而不是码字列表。在变体中，通过应用随机性测试或使用消息传递从列表中选择唯一的消息字。

87. 发明授权

US07302079B2 Stealthy secret key encoding and decoding 有权
标题翻译：隐秘秘密密钥编码和解码
公开(公告)号：US07302079B2
公开(公告)日：2007-11-27
申请号：US10716993
申请日：2003-11-19
申请人： Mustafa Kesal , M. Kivanc Mihcak , Ramarathnam Venkatesan
发明人： Mustafa Kesal , M. Kivanc Mihcak , Ramarathnam Venkatesan
IPC分类号： H04K1/00
CPC分类号： G06T1/0042 , G06F21/16 , G06T1/005 , G06T2201/0065 , G06T2201/0083 , G10L19/018 , H04L9/32 , H04L2209/34 , H04L2209/608 , H04N1/32149 , H04N2201/3235 , H04N2201/3236 , H04N2201/3269
摘要： An implementation is described herein facilitates certification of goods and/or identifications of the source of such goods. At least one implementation, described herein, embeds a watermark into a relatively small amount of data in a deterministic manner. At least one implementation, described herein, generates an authentication transformation matrix based, at least in part, upon an authentication watermark and a pre-defined humanly perceptible authentication pattern (e.g., image, audio). With this implementation, it obtains subject goods that may have the authentication watermark embedded therein. It generates a humanly perceptible resultant pattern (e.g., image, audio) based, at least in part, upon the watermark detected in subject goods and the transformation matrix. If the detected watermark is the authentication watermark, then the resultant pattern and the pre-defined authentication pattern will match (or nearly so). At least one implementation, described herein, hides a secret key around the periphery of watermarked goods. This abstract itself is not intended to limit the scope of this patent. The scope of the present invention is pointed out in the appending claims.
摘要翻译：这里描述的实施方式有助于对这些货物的来源的货物和/或标识的认证。本文描述的至少一个实施方案以确定性方式将水印嵌入相对少量的数据。至少一个本文描述的实施方案至少部分地基于认证水印和预定义的人为可感知的认证模式（例如，图像，音频）来生成认证转换矩阵。通过这种实现，它获得可以将认证水印嵌入其中的对象商品。至少部分地，基于在主题货物和变换矩阵中检测到的水印产生人为可感知的合成图案（例如，图像，音频）。如果检测到的水印是认证水印，则所得到的模式和预定义的认证模式将匹配（或几乎相同）。本文描述的至少一个实现在水印商品的周围隐藏秘密密钥。本摘要本身并不旨在限制本专利的范围。在所附权利要求中指出了本发明的范围。

88. 发明申请

US20070192397A1 Cryptosystem Based on a Jacobian of a Curve 失效
标题翻译：基于雅可比曲线的加密系统
公开(公告)号：US20070192397A1
公开(公告)日：2007-08-16
申请号：US11275215
申请日：2005-12-19
申请人： Kristin Lauter , Peter Montgomery , Ramarathnam Venkatesan
发明人： Kristin Lauter , Peter Montgomery , Ramarathnam Venkatesan
IPC分类号： H04L9/28 , H04L9/00 , G06F12/14 , G06F7/38 , H04L9/32 , H04K1/00 , G06F11/30
CPC分类号： H04L9/302 , H04L9/32 , H04L2209/20 , H04L2209/30
摘要： A cryptosystem has a secret based on an order of a group of points on a Jacobian of a curve. In certain embodiments, the cryptosystem is used to generate a product identifier corresponding to a particular product. The product identifier is generated by initially receiving a value associated with a copy (or copies) of a product. The received value is padded using a recognizable pattern, and the padded value is converted to a number represented by a particular number of bits. The number is then converted to an element of the Jacobian of the curve, and the element is then raised to a particular power. The result of raising the element to the particular power is then compressed and output as the product identifier. Subsequently, the encryption process can be reversed and the decrypted value used to indicate validity and/or authenticity of the product identifier.
摘要翻译：密码系统具有基于曲线雅可比的一组点的顺序的秘密。在某些实施例中，密码系统用于生成对应于特定产品的产品标识符。产品标识符是通过初始接收与产品的副本（或副本）相关联的值来生成的。使用可识别的图案填充接收的值，并且将填充值转换为由特定位数表示的数字。然后将该数字转换为曲线的雅可比元素，然后将元素升高到特定的功率。然后将元件升高到特定功率的结果被压缩并作为产品标识符输出。随后，可以反转加密处理，并且解密的值用于指示产品标识符的有效性和/或真实性。

89. 发明授权

US07257234B2 Watermark-based goods authentication 有权
标题翻译：基于水印的货物认证
公开(公告)号：US07257234B2
公开(公告)日：2007-08-14
申请号：US10641684
申请日：2003-08-14
申请人： Mustafa Kesal , M. Kivanc Mihcak , Ramarathnam Venkatesan
发明人： Mustafa Kesal , M. Kivanc Mihcak , Ramarathnam Venkatesan
IPC分类号： H04K1/00
CPC分类号： G06T1/0042 , G06F21/16 , G06T1/005 , G06T2201/0065 , G06T2201/0083 , G10L19/018 , H04L9/32 , H04L2209/34 , H04L2209/608 , H04N1/32149 , H04N2201/3235 , H04N2201/3236 , H04N2201/3269
摘要： An implementation is described herein facilitates certification of goods and/or identifications of the source of such goods. At least one implementation, described herein, embeds a watermark into a relatively small amount of data in a deterministic manner. At least one implementation, described herein, generates an authentication transformation matrix based, at least in part, upon an authentication watermark and a pre-defined humanly perceptible authentication pattern (e.g., image, audio). With this implementation, it obtains subject goods that may have the authentication watermark embedded therein. It generates a humanly perceptible resultant pattern (e.g., image, audio) based, at least in part, upon the watermark detected in subject goods and the transformation matrix. If the detected watermark is the authentication watermark, then the resultant pattern and the pre-defined authentication pattern will match (or nearly so). At least one implementation, described herein, hides a secret key around the periphery of watermarked goods. This abstract itself is not intended to limit the scope of this patent. The scope of the present invention is pointed out in the appending claims.
摘要翻译：这里描述的实施方式有助于对这些货物的来源的货物和/或标识的认证。本文描述的至少一个实施方案以确定性方式将水印嵌入相对少量的数据。至少一个本文描述的实施方案至少部分地基于认证水印和预定义的人为可感知的认证模式（例如，图像，音频）来生成认证转换矩阵。通过这种实现，它获得可以将认证水印嵌入其中的对象商品。至少部分地，基于在主题货物和变换矩阵中检测到的水印产生人为可感知的合成图案（例如，图像，音频）。如果检测到的水印是认证水印，则所得到的模式和预定义的认证模式将匹配（或几乎相同）。本文描述的至少一个实现在水印商品的周围隐藏秘密密钥。本摘要本身并不旨在限制本专利的范围。在所附权利要求中指出了本发明的范围。

90. 发明申请

US20070086586A1 Semi-public white-box cipher 有权
标题翻译：半公开白盒密码
公开(公告)号：US20070086586A1
公开(公告)日：2007-04-19
申请号：US11251625
申请日：2005-10-14
申请人： Mariusz Jakubowski , Ramarathnam Venkatesan , Gideon Yuval , Yacov Yacobi , Matthew Cary
发明人： Mariusz Jakubowski , Ramarathnam Venkatesan , Gideon Yuval , Yacov Yacobi , Matthew Cary
IPC分类号： H04L9/28
CPC分类号： H04L9/0662 , H04L2209/16 , H04L2209/24
摘要： A computer-implemented system and method for configuring and operating a white-box cipher is disclosed. In one implementation, the system employs a method for configuring pseudorandom data derived from a key to perform key-scheduling functionality associated with rounds of the cipher. Additionally, the system employs a method for generating white-box executable code, wherein the code hides the pseudorandom data by incorporating it into mathematical operations performed during execution of the rounds. Accordingly, the cipher is suited for white-box applications managing digital rights, such as decoding audio, video and other content.
摘要翻译：公开了一种用于配置和操作白盒密码的计算机实现的系统和方法。在一个实现中，系统采用一种用于配置从密钥导出的伪随机数据以执行与密码轮相关联的密钥调度功能的方法。另外，该系统采用一种产生白盒可执行代码的方法，其中该代码通过将伪随机数据并入到执行循环期间执行的数学运算中来隐藏伪随机数据。因此，该密码适用于管理数字权利的白盒应用，例如解码音频，视频和其他内容。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式