Invention Publication
- Patent Title: SECURE SOFTWARE COMPILATION AND SOFTWARE VERIFICATION
-
Application No.: US17457037Application Date: 2021-12-01
-
Publication No.: US20230169215A1Publication Date: 2023-06-01
- 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
- Main IPC: G06F21/64
- IPC: G06F21/64 ; G06F8/10 ; G06F21/33 ; G06F8/41 ; 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
- US12079374B2 Secure software compilation and software verification Public/Granted day:2024-09-03
Information query
