Patents by Inventor Guilherme De Campos Magalhaes
Guilherme De Campos Magalhaes 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: 20240126883Abstract: A process includes, in a computer system, acquiring a first measurement that corresponds to a software container. Acquiring the measurement includes a hardware processor of the computer system measuring a given layer of a plurality of layers of layered file system structure corresponding to the software container. The given layer includes a plurality of files, and the first measurement includes a measurement of the plurality of files. The process includes storing the first measurement in a secure memory of the computer system. A content of the secure memory is used to verify an integrity of the software container.Type: ApplicationFiled: December 14, 2023Publication date: April 18, 2024Inventors: Francisco Plinio Oliveira Silveira, Nigel John Edwards, Ludovic Emmanuel Paul Noel Jacquin, Guilherme de Campos Magalhaes, Leandro Augusto Penna dos Santos, Rodrigo Jose da Rosa Antunes
-
Patent number: 11874926Abstract: A process includes, in a computer system, acquiring a first measurement that corresponds to a software container. Acquiring the measurement includes a hardware processor of the computer system measuring a given layer of a plurality of layers of layered file system structure corresponding to the software container. The given layer includes a plurality of files, and the first measurement includes a measurement of the plurality of files. The process includes storing the first measurement in a secure memory of the computer system. A content of the secure memory is used to verify an integrity of the software container.Type: GrantFiled: December 7, 2020Date of Patent: January 16, 2024Assignee: Hewlett Packard Enterprise Development LPInventors: Francisco Plinio Oliveira Silveira, Nigel John Edwards, Ludovic Emmanuel Paul Noel Jacquin, Guilherme de Campos Magalhaes, Leandro Augusto Penna dos Santos, Rodrigo Jose da Rosa Antunes
-
Patent number: 11720675Abstract: The present disclosure relates to a method for integrity verification of a software stack or part of a software stack resident on a host machine. A management entity generates a measurement log for a disk image associated with the software stack or the part of a software stack. A verifier entity retrieves the generated measurement log and compares the generated measurement log with a reference measurement of a verification profile previously assigned by the verifier entity to the software stack or the part of a software stack to verify the software stack or the part of a software stack.Type: GrantFiled: April 15, 2022Date of Patent: August 8, 2023Assignee: Hewlett Packard Enterprise Development LPInventors: Sidnei Roberto Selzler Franco, Ludovic Emmanuel Paul Noel Jacquin, Jonathan Meller, Guilherme De Campos Magalhaes
-
Publication number: 20230049131Abstract: In some examples, a system receives first measurements of data items used by a build server in building an executable program, the data items copied from a data repository to a storage partition that is separate from the data repository, and the storage partition to store the data items relating to building the executable program by the build server. The system determines, based on the first measurements and according to a policy specified for the storage partition, whether a corruption of the data items used by the build server in building the executable program has occurred.Type: ApplicationFiled: August 10, 2021Publication date: February 16, 2023Inventors: Nigel John Edwards, Guilherme de Campos Magalhaes
-
Publication number: 20220245246Abstract: The present disclosure relates to a method for integrity verification of a software stack or part of a software stack resident on a host machine. A management entity generates a measurement log for a disk image associated with the software stack or the part of a software stack. A verifier entity retrieves the generated measurement log and compares the generated measurement log with a reference measurement of a verification profile previously assigned by the verifier entity to the software stack or the part of a software stack to verify the software stack or the part of a software stack.Type: ApplicationFiled: April 15, 2022Publication date: August 4, 2022Inventors: Sidnei Roberto Selzler FRANCO, Ludovic Emmanuel Paul Noel JACQUIN, Jonathan MELLER, Guilherme DE CAMPOS MAGALHAES
-
Publication number: 20220179959Abstract: A process includes, in a computer system, acquiring a first measurement that corresponds to a software container. Acquiring the measurement includes a hardware processor of the computer system measuring a given layer of a plurality of layers of layered file system structure corresponding to the software container. The given layer includes a plurality of files, and the first measurement includes a measurement of the plurality of files. The process includes storing the first measurement in a secure memory of the computer system. A content of the secure memory is used to verify an integrity of the software container.Type: ApplicationFiled: December 7, 2020Publication date: June 9, 2022Inventors: Francisco Plinio Oliveira Silveira, Nigel John Edwards, Ludovic Emmanuel Paul Noel Jacquin, Guilherme de Campos Magalhaes, Leandro Augusto Penna dos Santos, Rodrigo Jose da Rosa Antunes
-
Patent number: 11334670Abstract: The present disclosure relates to a method for integrity verification of a software stack or part of a software stack resident on a host machine. A management entity generates a measurement log for a disk image associated with the software stack or the part of a software stack. A verifier entity retrieves the generated measurement log and compares the generated measurement log with a reference measurement of a verification profile previously assigned by the verifier entity to the software stack or the part of a software stack to verify the software stack or the part of a software stack.Type: GrantFiled: January 28, 2020Date of Patent: May 17, 2022Assignee: Hewlett Packard Enterprise Development LPInventors: Sidnei Roberto Selzler Franco, Ludovic Emmanuel Paul Noel Jacquin, Jonathan Meller, Guilherme De Campos Magalhaes
-
Publication number: 20210232684Abstract: The present disclosure relates to a method for integrity verification of a software stack or part of a software stack resident on a host machine. A management entity generates a measurement log for a disk image associated with the software stack or the part of a software stack. A verifier entity retrieves the generated measurement log and compares the generated measurement log with a reference measurement of a verification profile previously assigned by the verifier entity to the software stack or the part of a software stack to verify the software stack or the part of a software stack.Type: ApplicationFiled: January 28, 2020Publication date: July 29, 2021Inventors: Sidnei Roberto Selzler Franco, Ludovic Emmanuel Paul No Jacquin, Jonathan Meller, Guilherme De Campos Magalhaes
-
Patent number: 10853090Abstract: Examples relate to integrity reports. In an implementation, an entity for executing a function is launched, the entity operating one or more files for executing the function. In response to the entity being launched, an entity image integrity report is generated comprising, for one or more files operated by the entity, a reference to the file measurement in a first integrity report the first integrity report containing measurements of a plurality of files operable in one or more entities. Alternatively, in response to the entity being launched, an entity integrity report is generated comprising a file measurement for each of the files operated by the entity.Type: GrantFiled: January 22, 2018Date of Patent: December 1, 2020Assignee: Hewlett Packard Enterprise Development LPInventors: Ludovic Emmanuel Paul Noel Jacquin, Hamza Attak, Nigel Edwards, Guilherme de Campos Magalhaes
-
Publication number: 20190332777Abstract: A trusted computing integrity measurement architecture (IMA) security method may include receiving a command to carry out an event for a container with respect to a file of the container, the container being identified by a namespace, measuring the file to produce a measurement value for the file and storing the measurement value, an identification of the file and the namespace in an entry of an IMA log.Type: ApplicationFiled: April 30, 2018Publication date: October 31, 2019Inventors: Nigel Edwards, Guilherme De Campos Magalhaes, Joaquim Gomes da Costa Eulalio De Souza
-
Publication number: 20190227810Abstract: Examples relate to integrity reports. In an implementation, an entity for executing a function is launched, the entity operating one or more files for executing the function. In response to the entity being launched, an entity image integrity report is generated comprising, for one or more files operated by the entity, a reference to the file measurement in a first integrity report the first integrity report containing measurements of a plurality of files operable in one or more entities. Alternatively, in response to the entity being launched, an entity integrity report is generated comprising a file measurement for each of the files operated by the entity.Type: ApplicationFiled: January 22, 2018Publication date: July 25, 2019Inventors: Ludovic Emmanuel Paul Noel Jacquin, Hamza Attak, Nigel Edwards, Guilherme de Campos Magalhaes
-
Publication number: 20180357001Abstract: Techniques for allocating memory based on memory type request are provided. In one aspect, an application thread may be bound to a first processor. The first processor may be associated with a first memory. A portion of memory may be allocated from the first memory in response to the application thread requesting memory of a first type. A portion of memory from a second memory associated with a second processor may be allocated in response to the application thread requesting memory of a second type.Type: ApplicationFiled: December 16, 2015Publication date: December 13, 2018Inventors: Roque Luis Scheer, Guilherme De Campos Magalhaes, Ludmila Cherkasova, Haris Volos
-
Publication number: 20160292168Abstract: A method includes accessing a file in a storage device. The method includes placing the file in a retention state. The method includes storing the file's information into a database. The method includes generating a hash of the file's content. The method includes storing the hash in the database with the file's information.Type: ApplicationFiled: December 6, 2013Publication date: October 6, 2016Inventors: Kannan K. Ramesh, Kannan Rajkumar, Sivashanmugam Jothivelavan, Roy Annmary, Madhu Jagadish, Hamilton De Freitas Coutinho, Guilherme De Campos Magalhaes, Michael J. Spitzer, Raghavendra Saraswathamma Ramu