Patents by Inventor Mikael Horal

Mikael Horal 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).

  • Patent number: 12373461
    Abstract: A database management system for managing a database includes each document being stored as a number of replicas for accessibility and data preservation. The system includes: a processor; a network interface; and a memory comprising programming instructions for execution by the processor to implement a database management service, the service configured to maintain a primary replica of a document, a number of secondary replicas of the document, and another log-only replica storing a log of changes to the document rather than contents of the document. The service makes head reads to the primary replica as needed when a read request to the number of secondary replicas does not result in a quorum.
    Type: Grant
    Filed: December 22, 2023
    Date of Patent: July 29, 2025
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Brikesh Kumar, Muthukumaran Arumugam, Yogesh Kumar, Ankur Jauhari, Kiran Kumar Kolli, Per Mikael Horal, Hari Sudan Sundar, Adam Bishop
  • Publication number: 20250209087
    Abstract: A database management system for managing a database includes each document being stored as a number of replicas for accessibility and data preservation. The system includes: a processor; a network interface; and a memory comprising programming instructions for execution by the processor to implement a database management service, the service configured to maintain a primary replica of a document, a number of secondary replicas of the document, and another log-only replica storing a log of changes to the document rather than contents of the document. The service makes head reads to the primary replica as needed when a read request to the number of secondary replicas does not result in a quorum.
    Type: Application
    Filed: December 22, 2023
    Publication date: June 26, 2025
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Brikesh KUMAR, Muthukumaran ARUMUGAM, Yogesh KUMAR, Ankur JAUHARI, Kiran Kumar KOLLI, Per Mikael HORAL, Hari Sudan SUNDAR, Adam BISHOP
  • Publication number: 20250103615
    Abstract: A data processing system implements techniques for operating and recovering databases that includes a plurality of replicas. The plurality of replicas includes a primary replica, a secondary replica, and a delta replica. The primary replica handles read and write operations, the secondary replica is a backup of the primary replica capable of read-only operations. The delta replica comprising a copy of the transactional log information of the primary replica but not the data. The system detects a failure of the primary and secondary replicas. The system instantiates a recovery workflow using the delta replica that includes initializing a second secondary replica; causing the second secondary replica to download backup data that represents a state of the primary replica prior to failure of the primary replica; updating the secondary replica using the backup data; and promoting the secondary replica to the primary replica.
    Type: Application
    Filed: September 25, 2023
    Publication date: March 27, 2025
    Applicant: Microsoft Technology Licensing, LLC
    Inventors: Nimit Dipakkumar SHAH, Muthukumaran ARUMUGAM, Yogesh KUMAR, Hari Sudan SUNDAR, Ankur JAUHARI, Per Mikael HORAL, Subramanyam PATTIPAKA, Venkata Sivaramakrishna RAMADUGU
  • Patent number: 11425126
    Abstract: A policy management service receives a request to associate a version of a computing resource policy as a default version of the policy. In response to the request, the service identifies, from a policy database, an entry for the default version of the policy. The service updates the entry in order to associate the version specified in the request as the default version of the policy. This results in the version of the policy becoming applicable to control access to the computing resources associated with principals associated with the default version of the policy.
    Type: Grant
    Filed: September 30, 2015
    Date of Patent: August 23, 2022
    Assignee: Amazon Technologies, Inc.
    Inventors: Per Mikael Horal, Bradford Taylor Lyman, Luke Edward Kennedy, Ritwick Dhar, Anders Samuelsson
  • Patent number: 10944561
    Abstract: A security token service receives a request for a token. The request indicates a set of access control policies that define a set of permissions for access to a resource. The security token service generates the token to comprise a set of identifiers of the set of access control policies. The security token service provides the token in response to the request to enable the token to be used to access the resource in accordance with the set of access control policies.
    Type: Grant
    Filed: May 14, 2018
    Date of Patent: March 9, 2021
    Assignee: Amazon Technologies Inc.
    Inventors: Conor Patrick Cahill, Rachit Jain, Brigid Ann Johnson, Praveen Akinapally, Varun Jayant Oswal, Jasmeet Chhabra, Ritwick Dhar, Luke Edward Kennedy, Per Mikael Horal
  • Publication number: 20140279550
    Abstract: An upgrade to a computer program is associated with a token which is in turn associated with the original key for the computer program. In particular, given the original key, a publisher provides a token for the upgrade which is digitally signed and associated with the original key. The token also can result in a license state for the upgrade that is different from the license state for the original computer program. The original key can be used in various business rules by the publisher to determine whether to issue the token and/or what license state to associate with the token. When the upgrade is run on the computer, the verification process authenticates the token, the original license and the original key and authorizes execution of the upgrade based on the token for upgrade. Multiple upgrades can use multiple tokens and the original key.
    Type: Application
    Filed: March 14, 2013
    Publication date: September 18, 2014
    Applicant: MICROSOFT CORPORATION
    Inventors: Ning Zhang, Mikael Horal, Brian Perlman, Hakki Bostanci, Hariharan Jayaraman, Rama Krishnan Venkatachalam
  • Patent number: 8418259
    Abstract: A Trusted Activation License (TAL) can be comprised of a key unique to a Trusted Platform Module (TPM) and identifying information of the software applications bundled with the computing device having that TPM. To activate the software applications, the identifying information in the TAL can be compared against that of the software applications being activated, and the unique TPM key in the TAL can be compared against that of the TPM on the computing device on which the activation is taking place. Subsequent validations can be based on a protected association between the TAL and an Attestation Identity Key (AIK) that can be generated by the TPM as part of the activation step. Optionally, Platform Configuration Registers (PCRs) of the TPM can be periodically changed during validation to protect against useage of one TPM for validations on multiple computing devices.
    Type: Grant
    Filed: January 5, 2010
    Date of Patent: April 9, 2013
    Assignee: Microsoft Corporation
    Inventors: Mikael Horal, Hakki Tunc Bostanci, Vandana Gunupudi, Ning Zhang, Scott Daniel Anderson, Stefan Thom, Erik Holt
  • Publication number: 20110167503
    Abstract: A Trusted Activation License (TAL) can be comprised of a key unique to a Trusted Platform Module (TPM) and identifying information of the software applications bundled with the computing device having that TPM. To activate the software applications, the identifying information in the TAL can be compared against that of the software applications being activated, and the unique TPM key in the TAL can be compared against that of the TPM on the computing device on which the activation is taking place. Subsequent validations can be based on a protected association between the TAL and an Attestation Identity Key (AIK) that can be generated by the TPM as part of the activation step. Optionally, Platform Configuration Registers (PCRs) of the TPM can be periodically changed during validation to protect against useage of one TPM for validations on multiple computing devices.
    Type: Application
    Filed: January 5, 2010
    Publication date: July 7, 2011
    Applicant: MICROSOFT CORPORATION
    Inventors: Mikael Horal, Hakki Tunc Bostanci, Vandana Gunupudi, Ning Zhang, Scott Daniel Anderson, Stefan Thom, Erik Holt