知搜-全球专利检索

  1. Login
  2. Sign Up

Search Results

41 records (took 0.04 seconds)

    Soft message signing
    23.
    发明授权
    Soft message signing 有权
    软邮件签名

    公开(公告)号：US08667283B2

    公开(公告)日：2014-03-04

    申请号：US13103451

    申请日：2011-05-09

    Applicant: William Henry Bares ,  Srinivas Devadas ,  Vivek Khandelwal ,  Zdenek Paral ,  Richard Sowell ,  Tonghang Zhou

    Inventor： William Henry Bares ,  Srinivas Devadas ,  Vivek Khandelwal ,  Zdenek Paral ,  Richard Sowell ,  Tonghang Zhou

    IPC: H04L29/06

    CPC classification number: H04L9/3278 ,  H04L9/3247 ,  H04L2209/805

    Abstract: A message is signed using a PUF without having to exactly regenerate a cryptographic key. Another party that shares information about the PUF is able to verify the signature to a high degree of accuracy (i.e., high probability of rejection of a forged signature and a low probably of false rejection of a true signature). In some examples, the information shared by a recipient of a message signature includes a parametric model of operational characteristics of the PUF used to form the signature.

    Abstract translation: 使用PUF签名消息，而不必完全重新生成加密密钥。 共享关于PUF的信息的另一方能够以高精确度验证签名（即，拒绝伪造签名的可能性很高，并且可能是真正签名的错误拒绝）。 在一些示例中，消息签名的接收方共享的信息包括用于形成签名的PUF的操作特征的参数模型。

    AUTHENTICATION TOKEN
    24.
    发明申请
    AUTHENTICATION TOKEN 审中-公开
    验证码

    公开(公告)号：US20130298211A1

    公开(公告)日：2013-11-07

    申请号：US13855704

    申请日：2013-04-02

    Applicant: David M'Raihi ,  Srinivas Devadas ,  WILLIAM HENRY BARES ,  Meng-Day Mandel Yu ,  ZDENEK SIDNEY PARAL

    Inventor： David M'Raihi ,  Srinivas Devadas ,  WILLIAM HENRY BARES ,  Meng-Day Mandel Yu ,  ZDENEK SIDNEY PARAL

    IPC: H04L29/06

    CPC classification number: H04L63/08 ,  H04L9/3278

    Abstract: The disclosed invention is a system and method that allows for authentication of a user to a network using a token. The token interacts with a device and authenticates the user to the system. The token may be part of the device or stand alone. The various aspects of the present invention capture a novel design for an authentication token that eliminates the need for user interaction with the token.

    Abstract translation: 所公开的发明是一种系统和方法，其允许使用令牌向网络认证用户。 令牌与设备进行交互，并将用户认证给系统。 令牌可以是设备的一部分或独立的。 本发明的各个方面捕获了用于认证令牌的新颖设计，其消除了与令牌的用户交互的需要。

    BACTERIOPHAGES EXPRESSING AMYLOID PEPTIDES AND USES THEREOF
    25.
    发明申请
    BACTERIOPHAGES EXPRESSING AMYLOID PEPTIDES AND USES THEREOF 审中-公开
    表达淀粉样蛋白的特异性及其用途

    公开(公告)号：US20120301433A1

    公开(公告)日：2012-11-29

    申请号：US13387888

    申请日：2010-07-29

    Applicant: Timothy Kuan-Ta Lu ,  Susan Lindquist ,  Rajaraman Krishnan ,  James Collins ,  Charles W. O'Donnell ,  Bonnie Berger Leighton ,  Srinivas Devadas

    Inventor： Timothy Kuan-Ta Lu ,  Susan Lindquist ,  Rajaraman Krishnan ,  James Collins ,  Charles W. O'Donnell ,  Bonnie Berger Leighton ,  Srinivas Devadas

    IPC: C12N7/01 ,  C12S9/00 ,  A61K35/76

    CPC classification number: C07K14/4711 ,  A61K35/76 ,  A61K38/00 ,  C07K2319/735 ,  C12N2795/10232 ,  C12N2795/10243 ,  C12N2795/14132 ,  C12N2795/14143 ,  Y02A50/475 ,  A61K2300/00

    Abstract: The present invention generally relates to engineered bacteriophages which express amyloid peptides for the modulation (e.g. increase or decrease) of protein aggregates and amyloid formation. In some embodiments, the engineered bacteriophages express anti-amyloid peptides for inhibiting protein aggregation and amyloid formation, which can be useful in the treatment and prevention of and bacterial infections and biofilms. In some embodiments, the engineered bacteriophages express amyloid peptides for promoting amyloid formation, which are useful for increasing amyloid formation such as promoting bacterial biofilms. Other aspects relate to methods to inhibit bacteria biofilms, and methods for the treatment of amyloid related disorders, e.g., Alzheimer's disease using an anti-amyloid peptide engineered bacteriophages. Other aspects of the invention relate to engineered bacteriophages to express the amyloid peptides on the bacteriophage surface and/or secrete the amyloid peptides, e.g., anti-amyloid peptides and pro-amyloid peptides, and uses thereof for modulation protein aggregates and amyloid formation.

    Abstract translation: 本发明一般涉及表达淀粉样肽用于调节（例如增加或减少）蛋白质聚集体和淀粉样蛋白形成的工程化噬菌体。 在一些实施方案中，工程改造的噬菌体表达用于抑制蛋白质聚集和淀粉样蛋白形成的抗淀粉样肽，其可用于治疗和预防细菌感染和生物膜。 在一些实施方案中，工程改造的噬菌体表达用于促进淀粉样蛋白形成的淀粉样肽，其可用于增加淀粉样蛋白形成，例如促进细菌生物膜。 其它方面涉及抑制细菌生物膜的方法，以及使用抗淀粉样蛋白肽工程化噬菌体治疗淀粉样蛋白相关病症例如阿尔茨海默氏病的方法。 本发明的其它方面涉及在噬菌体表面上表达淀粉样肽和/或分泌淀粉样蛋白肽（例如抗淀粉样蛋白肽和前淀粉样肽）的工程化噬菌体及其用于调节蛋白质聚集体和淀粉样蛋白形成的用途。

    NON-NETWORKED RFID-PUF AUTHENTICATION
    27.
    发明申请
    NON-NETWORKED RFID-PUF AUTHENTICATION 有权
    非网络RFID-PUF认证

    公开(公告)号：US20100127822A1

    公开(公告)日：2010-05-27

    申请号：US12623045

    申请日：2009-11-20

    Applicant: Srinivas Devadas

    Inventor： Srinivas Devadas

    IPC: G06F7/04 ,  H04L9/32

    CPC classification number: H04L9/3278 ,  H04L2209/805

    Abstract: An integrated circuit includes a sequence generator configured to generate a series of challenges; a hidden output generator configured to generate a series of hidden outputs, each hidden output a function of a corresponding challenge in the series of challenges; and bit reduction circuitry configured to generate a response sequence including a plurality of response parts, each response part a function of a corresponding plurality of hidden outputs.

    Abstract translation: 集成电路包括被配置为产生一系列挑战的序列发生器; 隐藏的输出发生器被配置为产生一系列隐藏的输出，每个隐藏的输出都是一系列挑战中的相应挑战的功能; 以及比特缩减电路，被配置为生成包括多个响应部分的响应序列，每个响应部分是对应的多个隐藏输出的功能。

    Simulation vector generation from HDL descriptions for observability-enhanced statement coverage
    30.
    发明授权
    Simulation vector generation from HDL descriptions for observability-enhanced statement coverage 有权
    来自HDL描述的模拟向量生成可观察性增强语句覆盖

    公开(公告)号：US06816825B1

    公开(公告)日：2004-11-09

    申请号：US09335755

    申请日：1999-06-18

    Applicant: Pranav Ashar ,  Srinivas Devadas ,  Farzan Fallah

    Inventor： Pranav Ashar ,  Srinivas Devadas ,  Farzan Fallah

    IPC: G06F1750

    CPC classification number: G01R31/318307 ,  G01R31/318364

    Abstract: A method of automatically generating vector sequences for an observability based coverage metric supports design validation. A design validation method for Register Transfer Level (RTL) circuits includes the generation of a tag list. Each tag in the tag list models an error at a location in HDL code at which a variable is assigned a value. Interacting linear and Boolean constraints are generated for the tag, and the set of constraints is solved using an HSAT solver to provide a vector that covers the tag. For each generated vector, tag simulation is performed to determine which others of the tags in the tag list are also covered by that vector. Vectors are generated until all tags have been covered, if possible within predetermined time constraints, thus automatically providing a set of vectors which will propagate errors in the HDL code to an observable output. Performance of the design validation method is enhanced through various heuristics involving path selection and tag magnitude maximization.

    Abstract translation: 自动生成基于可观察性的覆盖度量向量序列的方法支持设计验证。 寄存器传输级（RTL）电路的设计验证方法包括生成标签列表。 标签列表中的每个标签在HDL代码中的变量分配了一个值的位置处模拟错误。 为标签生成交互线性和布尔约束，并使用HSAT求解器解决约束集，以提供覆盖标签的向量。 对于每个生成的矢量，执行标签模拟以确定标签列表中哪些标签中的哪些标签也被该向量覆盖。 如果可能的话在预定的时间限制内，直到所有标签被覆盖为止，才产生向量，从而自动地提供将HDL代码中的错误传播到可观察输出的一组向量。 通过涉及路径选择和标签幅度最大化的各种启发式方法，提高了设计验证方法的性能。

Patent Agency Ranking