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

61. 发明授权

US5420928A Pseudo-random generator 失效
标题翻译：伪随机发生器
公开(公告)号：US5420928A
公开(公告)日：1995-05-30
申请号：US186208
申请日：1994-01-25
申请人： William A. Aiello , Ramarathnam Venkatesan
发明人： William A. Aiello , Ramarathnam Venkatesan
IPC分类号： H04L9/06 , G06F7/58 , G09C1/00 , H04L9/22 , H04L9/26 , H04L9/00
CPC分类号： H04L9/0662 , H04L2209/125
摘要： Methodology and concomitant circuitry to generate cryptographically strong pseudo-random bit streams utilize secure block cypher encoders. Typically, each block cypher encoder has a first seed and a random key as an input. In the most basic realization of the methodology and circuitry, the output of each encoder is fed back to connect to its input. The first seed serves as the initial input, and each subsequent input is the immediate output. Each bit in the cryptographically strong pseudo-random bit stream is related to an inner product between each input to the encoder and a second seed.
摘要翻译：用于生成加密强伪随机位流的方法和伴随电路利用安全块密码器编码器。通常，每个块密码器编码器具有第一种子和随机密钥作为输入。在方法和电路的最基本实现中，每个编码器的输出被反馈以连接到其输入。第一个种子用作初始输入，每个后续输入都是即时输出。加密强伪随机比特流中的每个比特与编码器的每个输入和第二种子之间的内积相关。

62. 发明授权

US10409892B2 Formatting data by example 有权
公开(公告)号：US10409892B2
公开(公告)日：2019-09-10
申请号：US13014520
申请日：2011-01-26
申请人： Chad Rothschiller , Daniel Battagin , Christopher Benedict , Rodrigo Moreira-Silveira , Dmitri O. Danilov , Eric Cohen , Sumit Gulwani , Dany Rouhana , Rishabh Singh , Benjamin Goth Zorn , Ramarathnam Venkatesan
发明人： Chad Rothschiller , Daniel Battagin , Christopher Benedict , Rodrigo Moreira-Silveira , Dmitri O. Danilov , Eric Cohen , Sumit Gulwani , Dany Rouhana , Rishabh Singh , Benjamin Goth Zorn , Ramarathnam Venkatesan
IPC分类号： G06F17/00 , G06F17/21
摘要： Data formatting rules to convert data from one form to another form are automatically determined based on a user's edits. A machine learning heuristic is applied to a user's edits to determine a data formatting rule that may be applied to data. For example, a user may make edits that add/remove characters from data, concatenate data, extract data, rename data, and the like. The machine learning heuristic may be automatically triggered in response to an event (e.g. after a predetermined number of edits are made to a same type of data) or manually triggered (e.g. selecting a user interface option). The data formatting rule may be applied to other data and the results of the formatting reviewable by the user. Based on further edits/reviews, the data formatting rule may be updated. The data formatting rules may be stored for later use.

63. 发明申请

US20130254841A1 SECURE CLOUD COMPUTING PLATFORM 有权
标题翻译：安全云计算平台
公开(公告)号：US20130254841A1
公开(公告)日：2013-09-26
申请号：US13430598
申请日：2012-03-26
申请人： Ramarathnam Venkatesan , Kenneth H. Eguro , Roy Peter D'Souza
发明人： Ramarathnam Venkatesan , Kenneth H. Eguro , Roy Peter D'Souza
IPC分类号： G06F21/00
CPC分类号： G06F21/85
摘要： A secure cloud computing platform. The platform has a pool of secure computing devices such that each can be allocated to a customer as with other computing resources. Each secure computing device may be configured by a customer with a key and software for performing operations on sensitive data. The customer may submit data, defining a job for execution on the platform, as cyphertext. The secure computing device may perform operations on that data, which may include decrypting the data with the key and then executing the software to perform an operation on cleartext data. This operation, and the data on which it is performed, though in cleartext, may be inaccessible to the operator of the cloud computing platform. The device may operate according to a secure protocol under which the software is validated before loading and the device is provisioned with a key shared with the customer.
摘要翻译：一个安全的云计算平台。该平台具有一组安全计算设备，使得每个可以与其他计算资源一样分配给客户。每个安全计算设备可以由具有用于对敏感数据执行操作的密钥和软件的客户配置。客户可以提交数据，在平台上定义作业以执行作为cyphertext。安全计算设备可以对该数据执行操作，其可以包括用密钥解密数据，然后执行软件以对明文数据执行操作。该操作及其执行的数据虽然明文可能无法由云计算平台的操作员访问。设备可以根据安全协议进行操作，在该安全协议下，软件在加载之前被验证并且设备被提供有与客户共享的密钥。

64. 发明授权

US08271404B2 Template based approach to discovering disjunctive and quantified invariants over predicate abstraction 有权
标题翻译：基于模板的方法来发现关于谓词抽象的分离和量化不变量
公开(公告)号：US08271404B2
公开(公告)日：2012-09-18
申请号：US12244674
申请日：2008-10-02
申请人： Sumit Gulwani , Ramarathnam Venkatesan , Saurabh Srivastava
发明人： Sumit Gulwani , Ramarathnam Venkatesan , Saurabh Srivastava
IPC分类号： G06F15/18
CPC分类号： G06F11/3608
摘要： Techniques are disclosed for generating complex invariants in a program using a Satisfiability Modulo Theories (SMT) solver. In one embodiment, the generated invariants may be used to validate assert statements in a program. Additionally or alternatively, a weakest pre-condition invariant may be generated such that parameters passed to the program that satisfy the weakest pre-condition are guaranteed to satisfy the program's assert statements. Additionally or alternatively, a strongest post-condition may be generated, determining what is guaranteed to be true about the state of the program upon completion of the program. In one embodiment, the SMT solver generates invariants by mapping predicates onto unknown variables in a template. The template may comprise unknown variables related by logical structures defined with disjunctions, universal quantifiers, and existential quantifiers. The predicates may comprise equalities and inequalities between program variables.
摘要翻译：公开了在使用可满足性模理论（SMT）求解器的程序中生成复杂不变量的技术。在一个实施例中，生成的不变量可用于验证程序中的断言声明。另外或替代地，可以生成最弱的前置条件不变量，使得传递到满足最弱前置条件的程序的参数被保证满足程序的断言语句。另外或替代地，可以产生最强的后置条件，确定在程序完成时对程序的状态有保证是真实的。在一个实施例中，SMT求解器通过将谓词映射到模板中的未知变量来生成不变量。模板可以包括通过用分离定义的逻辑结构相关的未知变量，通用量词和存在量词。谓词可能包含程序变量之间的均等和不等式。

65. 发明申请

US20120192051A1 FORMATTING DATA BY EXAMPLE 审中-公开
标题翻译：按实例格式数据
公开(公告)号：US20120192051A1
公开(公告)日：2012-07-26
申请号：US13014520
申请日：2011-01-26
申请人： Chad Rothschiller , Daniel Battagin , Christopher Benedict , Rodrigo Moreira-Silveira , Dmitri O. Danilov , Eric Cohen , Sumit Gulwani , Dany Rouhana , Rishabh Singh , Benjamin Goth Zorn , Ramarathnam Venkatesan
发明人： Chad Rothschiller , Daniel Battagin , Christopher Benedict , Rodrigo Moreira-Silveira , Dmitri O. Danilov , Eric Cohen , Sumit Gulwani , Dany Rouhana , Rishabh Singh , Benjamin Goth Zorn , Ramarathnam Venkatesan
IPC分类号： G06F17/00
CPC分类号： G06F17/211
摘要： Data formatting rules to convert data from one form to another form are automatically determined based on a user's edits. A machine learning heuristic is applied to a user's edits to determine a data formatting rule that may be applied to data. For example, a user may make edits that add/remove characters from data, concatenate data, extract data, rename data, and the like. The machine learning heuristic may be automatically triggered in response to an event (e.g. after a predetermined number of edits are made to a same type of data) or manually triggered (e.g. selecting a user interface option). The data formatting rule may be applied to other data and the results of the formatting reviewable by the user. Based on further edits/reviews, the data formatting rule may be updated. The data formatting rules may be stored for later use.
摘要翻译：根据用户的编辑自动确定将数据从一个表单转换为另一个表单的数据格式化规则。机器学习启发式应用于用户的编辑以确定可应用于数据的数据格式化规则。例如，用户可以进行从数据添加/移除字符，连接数据，提取数据，重命名数据等的编辑。可以响应于事件（例如在对相同类型的数据进行预定数量的编辑）或手动触发（例如，选择用户界面选项）之后，可以自动地触发机器学习启发式。数据格式规则可以应用于其他数据以及用户可评估的格式的结果。根据进一步的编辑/评论，可能会更新数据格式规则。可以存储数据格式化规则供以后使用。

66. 发明申请

US20120094635A1 Automated Secure Pairing for Wireless Devices 有权
标题翻译：无线设备的自动安全配对
公开(公告)号：US20120094635A1
公开(公告)日：2012-04-19
申请号：US13335454
申请日：2011-12-22
申请人： Ganesh Ananthanarayanan , Sean Blagsvedt , Ramarathnam Venkatesan
发明人： Ganesh Ananthanarayanan , Sean Blagsvedt , Ramarathnam Venkatesan
IPC分类号： H04W12/00
CPC分类号： H04W12/06 , H04L63/18 , H04W12/04 , H04W84/18
摘要： Systems, methods, and/or techniques (“tools”) are described herein that relate to automated secure pairing for devices, and that relate to parallel downloads of content using devices. The tools for pairing the devices may perform authentication protocols that are based on addresses and on keys. The address-based authentication protocol may operate on address book entries maintained by the devices. The key-based authentication protocol may operate using a key exchange between the devices.
摘要翻译：这里描述了与设备的自动安全配对相关的系统，方法和/或技术（“工具”），并且涉及使用设备的内容的并行下载。用于配对设备的工具可以执行基于地址和密钥的认证协议。基于地址的认证协议可以对由设备维护的地址簿条目进行操作。基于密钥的认证协议可以使用设备之间的密钥交换来操作。

67. 发明授权

US07933404B2 Primitives for fast secure hash functions and stream ciphers 失效
标题翻译：用于快速安全散列函数和流密码的基元
公开(公告)号：US07933404B2
公开(公告)日：2011-04-26
申请号：US11873339
申请日：2007-10-16
申请人： Ramarathnam Venkatesan , Matthew Cary
发明人： Ramarathnam Venkatesan , Matthew Cary
IPC分类号： H04L9/06 , H04K1/00 , G06F7/38 , G06F7/52
CPC分类号： H04L9/0643
摘要： Techniques are disclosed to enable efficient implementation of secure hash functions and/or stream ciphers. More specifically, a family of graphs is described that has relatively large girth, large claw, and/or rapid mixing properties. The graphs are suitable for construction of cryptographic primitives such as collision resistant hash functions and stream ciphers, which allow efficient software implementation.
摘要翻译：公开了技术来实现安全散列函数和/或流密码的有效实现。更具体地，描述了具有相对较大的周长，大的爪和/或快速混合特性的图形系列。这些图适用于构建加密原语，例如防碰撞散列函数和流密码，这允许高效的软件实现。

68. 发明授权

US07681190B2 Minimum delta generator for program binaries 有权
标题翻译：程序二进制文件的最小增量生成器
公开(公告)号：US07681190B2
公开(公告)日：2010-03-16
申请号：US11276814
申请日：2006-03-15
申请人： Ramarathnam Venkatesan , Saurabh Sinha
发明人： Ramarathnam Venkatesan , Saurabh Sinha
IPC分类号： G06F9/44
CPC分类号： G06F8/658 , Y10S707/99936 , Y10S707/99943
摘要： Implementations provide a technology for generating a minimum delta between at least two program binaries. An implementation is given a source program (S) in a binary format and a target program (T) in a binary form. It constructs control flow graphs (CFGs) of each. It matches common blocks of the S's CFGs and T's CFGs. The blocks are matched based upon their content and their local neighborhoods. In addition, the register renaming problems is solved so that blocks can be fairly compared. This implementation produces an intermediate output, which is the content of unmatched blocks. It generates a set of edge edit operations for merging the unmatched blocks into S. The combination of the unmatched blocks and the edit operations is the delta. To patch S to produce a reconstructed copy of T, the delta is merged with S.
摘要翻译：实现提供了一种用于在至少两个程序二进制文件之间生成最小增量的技术。给出了二进制格式的源程序（S）和二进制形式的目标程序（T）的实现。它构建了每个的控制流图（CFG）。它匹配S的CFG和T的CFG的通用块。基于他们的内容和他们当地的社区匹配。此外，解决了寄存器重命名问题，以便可以比较块。该实现产生中间输出，它是不匹配块的内容。它生成一组用于将不匹配的块合并到S中的边缘编辑操作。不匹配块和编辑操作的组合是增量。为了修补S以产生T的重构副本，delta与S合并。

69. 发明授权

US07664258B2 Randomized sparse formats for efficient and secure computation on elliptic curves 失效
标题翻译：用于椭圆曲线高效安全计算的随机稀疏格式
公开(公告)号：US07664258B2
公开(公告)日：2010-02-16
申请号：US11275372
申请日：2005-12-28
申请人： Ramarathnam Venkatesan , David Y. Jao , Peter L. Montgomery , S Ramesh Raju
发明人： Ramarathnam Venkatesan , David Y. Jao , Peter L. Montgomery , S Ramesh Raju
IPC分类号： H04L9/28 , H04L9/30
CPC分类号： G06F7/725 , G06F2207/7242
摘要： Techniques are described that facilitate cryptographic operations, such as data encryption, signing and others, encryption using a computerized method for multiplying a scalar by a point. In one implementation, a set of random integers is selected, wherein the set comprises at least one integer selected randomly. A string is configured, based in part on the set of random integers. Output in the form of a product of the scalar and the point is then calculated, based on the string.
摘要翻译：描述了促进诸如数据加密，签名等的加密操作的技术，使用用于将标量乘以点的计算机化方法的加密。在一个实现中，选择一组随机整数，其中该集合包括随机选择的至少一个整数。部分基于随机整数集合来配置字符串。然后根据字符串计算标量和点的乘积的形式的输出。

70. 发明授权

US07571427B2 Methods for comparing versions of a program 失效
标题翻译：比较程序版本的方法
公开(公告)号：US07571427B2
公开(公告)日：2009-08-04
申请号：US10874676
申请日：2004-06-24
申请人： Zheng Wang , Scott A. McFarling , Ken B. Pierce , Ramarathnam Venkatesan
发明人： Zheng Wang , Scott A. McFarling , Ken B. Pierce , Ramarathnam Venkatesan
IPC分类号： G06F9/44 , G06F12/00
CPC分类号： G06F8/71 , Y10S707/99953 , Y10S707/99954
摘要： Systems and methods are discussed that allow profile information to be reused by various versions of a program. One illustrative aspect includes a method for comparing versions of a program in binary format. The method includes finding equivalent contents in portions of two versions of the program, finding equivalent structure in the portions of the two versions, and forming a match when a portion of one of the two versions is an equivalence of a portion of the other of the two versions.
摘要翻译：讨论了允许简档信息由程序的各种版本重用的系统和方法。一个说明性方面包括用于比较二进制格式的程序的版本的方法。该方法包括在程序的两个版本的部分中找到等同的内容，在两个版本的部分中找到等同的结构，并且当两个版本之一的一部分的一部分是两个版本。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式