Patents by Inventor Matthew Fredrikson

Matthew Fredrikson 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: 20210357729
    Abstract: A computing machine accesses a set of intermediate artificial neurons in a deep neural network. The deep neural network is fully or partially trained. The computing machine computes, for each artificial neuron in the set of intermediate artificial neurons, an influence score based on an average gradient of an output quantity of interest with respect to the artificial neuron across a plurality of inputs weighted by a probability of each input. The computing machine provides an output associated with the computed influence scores.
    Type: Application
    Filed: September 26, 2019
    Publication date: November 18, 2021
    Inventors: Klas Leino, Shayak Sen, Anupam Datta, Matthew Fredrikson
  • Patent number: 9747448
    Abstract: A security engine may be selected from a plurality of security engines to apply one or more security mechanisms to a section of source code of an application. In some cases, the section of source code may be identified by one or more security mechanism identifiers included in the source code. The security engine may generate machine-readable code that corresponds to the section of source code for which the one or more security mechanisms are to be applied. The machine-readable code may be executed on a plurality of computing devices. In one implementation, applying the security mechanisms to the section of source code may include producing zero-knowledge proofs of knowledge for the section of source code.
    Type: Grant
    Filed: September 19, 2013
    Date of Patent: August 29, 2017
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Benjamin Livshits, Matthew Fredrikson
  • Publication number: 20140298455
    Abstract: A security engine may be selected from a plurality of security engines to apply one or more security mechanisms to a section of source code of an application. In some cases, the section of source code may be identified by one or more security mechanism identifiers included in the source code. The security engine may generate machine-readable code that corresponds to the section of source code for which the one or more security mechanisms are to be applied. The machine-readable code may be executed on a plurality of computing devices. In one implementation, applying the security mechanisms to the section of source code may include producing zero-knowledge proofs of knowledge for the section of source code.
    Type: Application
    Filed: September 19, 2013
    Publication date: October 2, 2014
    Applicant: Microsoft Corporation
    Inventors: Benjamin Livshits, Matthew Fredrikson