Back to results
US 2025/0156543 A1Published application
Using approximate membership query filters for efficient control flow integrity protection
AssigneeNXP B.V.
InventorsJan Hoogerbrugge, Marcel Medwed
Life of this patent
Estimating the term…
Abstract
A method includes fetching, at a program counter value, an instruction of a basic block of code; decoding the instruction; updating a checksum value with a checksum of the instruction; and determining whether a tuple of the program counter value and the checksum value is in an approximate membership query filter (AMQ-filter).
Claims20
A method, comprising:
- fetching, at a program counter value, an instruction of a basic block of code;
- decoding the instruction;
- updating a checksum value with a checksum of the instruction;
- and
- determining whether a tuple of the program counter value and the checksum value is in an approximate membership query filter (AMQ-filter).
2 more elements
An apparatus, comprising:
- an approximate membership query filter (AMQ-filter) that stores tuples of program counters and checksums;
- and
- a processing core that fetches, at a program counter value, an instruction of a basic block of code, decodes the instruction, and updates a checksum value with a checksum of the instruction, wherein the AMQ-filter is configured to determine whether a tuple of the program counter value and the checksum value is in the AMQ-filter.
An apparatus, comprising:
- means for fetching, at a program counter value, an instruction of a basic block of code, for decoding the instruction, and for updating a checksum value with a checksum of the instruction;
- and
- means for determining whether a tuple of the program counter value and the checksum value is valid.
Dependencies are inferred from the claim text.