Patents by Inventor Silvio Micali

Silvio Micali has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20190147438
    Abstract: In a transaction system in which transactions are organized in blocks, an entity to constructs a new block of valid transactions, relative to a sequence of prior blocks, by having the entity determine a quantity Q from the prior blocks, having the entity use a secret key in order to compute a string S uniquely associated to Q and the entity, having the entity compute from Q a quantity T that is S itself, a function of S, and/or hash value of S, having the entity determine whether T possesses a given property, and, if T possesses the given property, having the entity digitally sign the new block and make available S and a digitally signed version of the new block. The secret key may be a secret signing key corresponding to a public key of the entity. S may be a digital signature of Q by the entity.
    Type: Application
    Filed: May 4, 2017
    Publication date: May 16, 2019
    Inventor: Silvio Micali
  • Publication number: 20180211264
    Abstract: A uniquely authentic copy of information is generated using a physical device that consistently produces unpredictable outputs based on inputs and the microstructure of the device, the device being verified to satisfy a given property, and it being substantially difficult to manufacture another device that satisfies the given property and that produces a particular output in response to a particular input. Generating the uniquely authentic copy of information includes causing the device to be provided with specific input to produce specific output, causing generation of a digital signature of the response and the information, and causing the device and the digital signature to be made available. Generating the uniquely authentic copy of information may also include making available the information, the specific input, and/or the specific output. The information may be a value of a banknote, and the digital signature may be produced on behalf of a banknote issuer.
    Type: Application
    Filed: August 1, 2016
    Publication date: July 26, 2018
    Inventor: Silvio Micali
  • Publication number: 20180068280
    Abstract: Electronic payments are verified in an electronic payment system in which at each of multiple rounds there is a set of players V, such that a payment is valid if the payment is authenticated to be valid by a given majority of the players in V. Verifying the electronic payments includes having a player Vi in V receive authentication of multiple payments during one of the multiple rounds of the electronic payment system, having Vi determine which of the multiple payments are valid, having Vi authenticate a subset of the multiple payments that Vi determines valid to provide an authenticated payment record, and having Vi cause the authenticated payment record to become widely available to enable at least another entity to determine whether a given payment authenticated valid by Vi is authenticated to be valid by the given majority of the players in V.
    Type: Application
    Filed: February 17, 2016
    Publication date: March 8, 2018
    Inventor: Silvio MICALI
  • Publication number: 20170330200
    Abstract: Generating a uniquely authentic copy of information uses a physical device that consistently produces unpredictable outputs based on inputs and the microstructure of the device. The device is verified to satisfy a given property. It is substantially difficult to manufacture another device that satisfies the given property and that produces a particular output in response to a particular input. Generating the uniquely authentic copy of information includes causing the device to be provided with a specific input to produce a specific output, causing the generation of a digital signature of the response and the information, and causing at least the device and the digital signature to be made available. Generating the uniquely authentic copy of information may also include making available the information, the specific input, and/or the specific output. The information may be a value of a banknote. The digital signature may be produced on behalf of an issuer.
    Type: Application
    Filed: July 22, 2015
    Publication date: November 16, 2017
    Inventor: Silvio MICALI
  • Patent number: 9654298
    Abstract: Providing information about digital certificate validity includes ascertaining digital certificate validity status for each of a plurality of digital certificates in a set of digital certificates, generating a plurality of artificially pre-computed messages about the validity status of at least a subset of the set of digital certificate of the plurality of digital certificates, where at least one of the messages indicates validity status of more than one digital certificate and digitally signing the artificially pre-computed messages to provide OCSP format responses that respond to OCSP queries about specific digital certificates in the set of digital certificates, where at least one digital signature is used in connection with an OCSP format response for more than one digital certificate. Generating and digitally signing may occur prior to any OCSP queries that are answered by any of the OCSP format responses.
    Type: Grant
    Filed: August 30, 2016
    Date of Patent: May 16, 2017
    Assignee: Assa Abloy AB
    Inventors: David Engberg, Phil Libin, Silvio Micali
  • Publication number: 20160373432
    Abstract: Providing information about digital certificate validity includes ascertaining digital certificate validity status for each of a plurality of digital certificates in a set of digital certificates, generating a plurality of artificially pre-computed messages about the validity status of at least a subset of the set of digital certificate of the plurality of digital certificates, where at least one of the messages indicates validity status of more than one digital certificate and digitally signing the artificially pre-computed messages to provide OCSP format responses that respond to OCSP queries about specific digital certificates in the set of digital certificates, where at least one digital signature is used in connection with an OCSP format response for more than one digital certificate. Generating and digitally signing may occur prior to any OCSP queries that are answered by any of the OCSP format responses.
    Type: Application
    Filed: August 30, 2016
    Publication date: December 22, 2016
    Inventors: DAVID ENGBERG, PHIL LIBIN, SILVIO MICALI
  • Patent number: 9461828
    Abstract: Providing information about digital certificate validity includes ascertaining digital certificate validity status for each of a plurality of digital certificates in a set of digital certificates, generating a plurality of artificially pre-computed messages about the validity status of at least a subset of the set of digital certificate of the plurality of digital certificates, where at least one of the messages indicates validity status of more than one digital certificate and digitally signing the artificially pre-computed messages to provide OCSP format responses that respond to OCSP queries about specific digital certificates in the set of digital certificates, where at least one digital signature is used in connection with an OCSP format response for more than one digital certificate. Generating and digitally signing may occur prior to any OCSP queries that are answered by any of the OCSP format responses.
    Type: Grant
    Filed: May 4, 2015
    Date of Patent: October 4, 2016
    Assignee: Assa Abloy AB
    Inventors: David Engberg, Phil Libin, Silvio Micali
  • Patent number: 9449443
    Abstract: Logging events associated with accessing an area includes recording an event associated with accessing the area to provide an event recording and authenticating at least the event recording to provide an authenticated recording. Recording an event may include recording a time of the event. Recording an event may include recording a type of event. The event may be an attempt to access the area. Recording an event may include recording credentials/proofs used in connection with the attempt to access the area. Recording an event may include recording a result of the attempt. Recording an event may include recording the existence of data other than the credentials/proofs indicating that access should be denied. Recording an event may include recording additional data related to the area. Authenticating the recording may include digitally signing the recording.
    Type: Grant
    Filed: August 31, 2015
    Date of Patent: September 20, 2016
    Assignee: Assa Abloy, AB
    Inventors: Phil Libin, Silvio Micali, David Engberg
  • Publication number: 20160180614
    Abstract: A system and method are disclosed for controlling physical access through a digital certificate validation process that works with standard certificate formats and that enables a certifying authority (CA) to prove the validity status of each certificate C at any time interval (e.g., every day, hour, or minute) starting with C's issue date, D1. C's time granularity may be specified within the certificate itself, unless it is the same for all certificates. For example, all certificates may have a one-day granularity with each certificate expires 365 days after issuance. Given certain initial inputs provided by the CA, a one-way hash function is utilized to compute values of a specified byte size that are included on the digital certificate and to compute other values that are kept secret and used in the validation process.
    Type: Application
    Filed: November 24, 2015
    Publication date: June 23, 2016
    Inventors: Silvio Micali, David Engberg, Phil Libin, Leo Reyzin, Alex Sinelnikov
  • Publication number: 20160063779
    Abstract: Logging events associated with accessing an area includes recording an event associated with accessing the area to provide an event recording and authenticating at least the event recording to provide an authenticated recording. Recording an event may include recording a time of the event. Recording an event may include recording a type of event. The event may be an attempt to access the area. Recording an event may include recording credentials/proofs used in connection with the attempt to access the area. Recording an event may include recording a result of the attempt. Recording an event may include recording the existence of data other than the credentials/proofs indicating that access should be denied. Recording an event may include recording additional data related to the area. Authenticating the recording may include digitally signing the recording.
    Type: Application
    Filed: August 31, 2015
    Publication date: March 3, 2016
    Inventors: Phil Libin, Silvio Micali, David Engberg
  • Patent number: 9230375
    Abstract: A system and method are disclosed for controlling physical access through a digital certificate validation process that works with standard certificate formats and that enables a certifying authority (CA) to prove the validity status of each certificate C at any time interval (e.g., every day, hour, or minute) starting with C's issue date, D1. C's time granularity may be specified within the certificate itself, unless it is the same for all certificates. For example, all certificates may have a one-day granularity with each certificate expires 365 days after issuance. Given certain initial inputs provided by the CA, a one-way hash function is utilized to compute values of a specified byte size that are included on the digital certificate and to compute other values that are kept secret and used in the validation process.
    Type: Grant
    Filed: February 17, 2012
    Date of Patent: January 5, 2016
    Assignee: Assa Abloy AB
    Inventors: Silvio Micali, David Engberg, Phil Libin, Leo Reyzin, Alex Sinelnikov
  • Patent number: 9158288
    Abstract: Logging events associated with accessing an area includes recording an event associated with accessing the area to provide an event recording and authenticating at least the event recording to provide an authenticated recording. Recording an event may include recording a time of the event. Recording an event may include recording a type of event. The event may be an attempt to access the area. Recording an event may include recording credentials/proofs used in connection with the attempt to access the area. Recording an event may include recording a result of the attempt. Recording an event may include recording the existence of data other than the credentials/proofs indicating that access should be denied. Recording an event may include recording additional data related to the area. Authenticating the recording may include digitally signing the recording.
    Type: Grant
    Filed: July 30, 2012
    Date of Patent: October 13, 2015
    Assignee: Assa Abloy AB
    Inventors: Phil Libin, Silvio Micali, David Engberg
  • Patent number: 9143330
    Abstract: Indicating data currentness includes, on any date of a sequence of dates, issuing a proof indicating the currentness status of the data during a particular time interval. The proof may be a digital signature. The time interval may be in the form of a current date and an amount of time. The proof may include a digital signature of the time interval. The proof may include a digital signature of the time interval and the data. The proof may include a digital signature of the time interval and a compact form of the data, such as a hash. Indicating data currentness may also include distributing the proofs to a plurality of unsecure units that respond to requests by users for the proofs. Indicating data currentness may also include gathering a plurality of separate pieces of data and providing a single proof for the separate pieces of data. The data may be electronic documents.
    Type: Grant
    Filed: November 12, 2012
    Date of Patent: September 22, 2015
    Assignee: Assa Abloy AB
    Inventors: Silvio Micali, Phil Libin, Brandon Volbright
  • Publication number: 20150236861
    Abstract: Providing information about digital certificate validity includes ascertaining digital certificate validity status for each of a plurality of digital certificates in a set of digital certificates, generating a plurality of artificially pre-computed messages about the validity status of at least a subset of the set of digital certificate of the plurality of digital certificates, where at least one of the messages indicates validity status of more than one digital certificate and digitally signing the artificially pre-computed messages to provide OCSP format responses that respond to OCSP queries about specific digital certificates in the set of digital certificates, where at least one digital signature is used in connection with an OCSP format response for more than one digital certificate. Generating and digitally signing may occur prior to any OCSP queries that are answered by any of the OCSP format responses.
    Type: Application
    Filed: May 4, 2015
    Publication date: August 20, 2015
    Applicant: Assa Abloy AB
    Inventors: David Engberg, Phil Libin, Silvio Micali
  • Patent number: 8983874
    Abstract: A micropayment system and method is presented for a payor U to establish payment to payee M for a transaction T, which typically has a very low value TV. The micropayment scheme minimizes the bank's processing costs, while at the same time eliminating the need for users and merchants to interact in order to determine whether a given micropayment should be selected for payment. In one embodiment, the micropayment scheme includes time constraints, which require that an electronic check C for the transaction T be presented to a bank B for payment within a predetermined time/date interval. In another embodiment, the micropayment scheme includes a selective deposit protocol, which guarantees that a user is never charged in excess of what he actually spends, even within a probabilistic framework. In another embodiment, the micropayment scheme includes a deferred selection protocol, which provides the bank with control and flexibility over the payment selection process.
    Type: Grant
    Filed: October 14, 2009
    Date of Patent: March 17, 2015
    Assignee: Massachusetts Institute of Technology
    Inventors: Silvio Micali, Ronald L. Rivest
  • Patent number: 8732457
    Abstract: Managing a digital certificate includes a landlord providing a digital certificate, a secure hardware device generating a series of n hash values, the secure hardware device providing an nth hash value to the landlord, wherein other hash values are not readily available to the landlord, the landlord placing the nth hash value in the certificate, the landlord digitally verifying the certificate containing the nth hash value to obtain a digitally signed certificate, a tenant obtaining the digitally signed certificate, the tenant obtaining the n hash values and the tenant managing the certificate by periodically issuing a previous hash value in the series of n hash values in response to the certificate being valid when the previous hash value is issued.
    Type: Grant
    Filed: March 20, 2002
    Date of Patent: May 20, 2014
    Assignee: Assa Abloy AB
    Inventor: Silvio Micali
  • Publication number: 20130120109
    Abstract: Logging events associated with accessing an area includes recording an event associated with accessing the area to provide an event recording and authenticating at least the event recording to provide an authenticated recording. Recording an event may include recording a time of the event. Recording an event may include recording a type of event. The event may be an attempt to access the area. Recording an event may include recording credentials/proofs used in connection with the attempt to access the area. Recording an event may include recording a result of the attempt. Recording an event may include recording the existence of data other than the credentials/proofs indicating that access should be denied. Recording an event may include recording additional data related to the area. Authenticating the recording may include digitally signing the recording.
    Type: Application
    Filed: July 30, 2012
    Publication date: May 16, 2013
    Inventors: Phil LIBIN, Silvio Micali, David Engberg
  • Patent number: 8327149
    Abstract: Indicating data currentness includes, on any date of a sequence of dates, issuing a proof indicating the currentness status of the data during a particular time interval. The proof may be a digital signature. The time interval may be in the form of a current date and an amount of time. The proof may include a digital signature of the time interval. The proof may include a digital signature of the time interval and the data. The proof may include a digital signature of the time interval and a compact form of the data, such as a hash. Indicating data currentness may also include distributing the proofs to a plurality of unsecure units that respond to requests by users for the proofs. Indicating data currentness may also include gathering a plurality of separate pieces of data and providing a single proof for the separate pieces of data. The data may be electronic documents.
    Type: Grant
    Filed: January 27, 2010
    Date of Patent: December 4, 2012
    Assignee: CoreStreet, Ltd.
    Inventors: Silvio Micali, Phil Libin, Brandon Volbright
  • Publication number: 20120274444
    Abstract: A system and method are disclosed for controlling physical access through a digital certificate validation process that works with standard certificate formats and that enables a certifying authority (CA) to prove the validity status of each certificate C at any time interval (e.g., every day, hour, or minute) starting with C's issue date, D1. C's time granularity may be specified within the certificate itself, unless it is the same for all certificates. For example, all certificates may have a one-day granularity with each certificate expires 365 days after issuance. Given certain initial inputs provided by the CA, a one-way hash function is utilized to compute values of a specified byte size that are included on the digital certificate and to compute other values that are kept secret and used in the validation process.
    Type: Application
    Filed: February 17, 2012
    Publication date: November 1, 2012
    Inventors: Silvio Micali, David Engberg, Phil Libin, Leo Reyzin, Alex Sinelnikov
  • Patent number: 8261319
    Abstract: Logging events associated with accessing an area includes recording an event associated with accessing the area to provide an event recording and authenticating at least the event recording to provide an authenticated recording. Recording an event may include recording a time of the event. Recording an event may include recording a type of event. The event may be an attempt to access the area. Recording an event may include recording credentials/proofs used in connection with the attempt to access the area. Recording an event may include recording a result of the attempt. Recording an event may include recording the existence of data other than the credentials/proofs indicating that access should be denied. Recording an event may include recording additional data related to the area. Authenticating the recording may include digitally signing the recording.
    Type: Grant
    Filed: July 16, 2004
    Date of Patent: September 4, 2012
    Assignee: CoreStreet, Ltd.
    Inventors: Phil Libin, Silvio Micali, David Engberg