Invention Grant
- Patent Title: Secure software compilation and software verification
-
Application No.: US17457037Application Date: 2021-12-01
-
Publication No.: US12079374B2Publication Date: 2024-09-03
- Inventor: Dale Bowie , Narayana Aditya Madineni , Matthew Green
- Applicant: International Business Machines Corporation
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agency: Yee & Associates, P.C.
- Main IPC: G06F21/64
- IPC: G06F21/64 ; G06F8/10 ; G06F8/41 ; G06F21/33 ; G06F21/60

Abstract:
Before deployment, artifacts and/or binaries are generated by the process of compilation from source code files are double signed with signatures. Immediately before deployment, a copy of the artifacts and/or binaries is made for the planned deployment and the double signed signatures are checked to ensure source code integrity and security.
Public/Granted literature
- US20230169215A1 SECURE SOFTWARE COMPILATION AND SOFTWARE VERIFICATION Public/Granted day:2023-06-01
Information query