Rick Dale Hemmer

Title: Rick Dale Hemmer: Innovator in Computer Program Verification

Introduction

Rick Dale Hemmer is a notable inventor based in Rochester, MN (US). He has made significant contributions to the field of computer program verification, holding a total of 2 patents. His work focuses on ensuring the integrity and security of computer systems.

Latest Patents

Hemmer's latest patents include a mechanism for verifying computer programs that incorporate external call references. This innovative program verification mechanism checks the computer program after it has been loaded by a loader/linker. It utilizes a list of trusted entry points and allowable caller code to determine the validity of external call references. If the references are verified, the computer program is deemed secure; otherwise, the verification fails.

Another significant patent by Hemmer is a method and apparatus for verifying the integrity of vital data components within a computer system. This mechanism employs digital signatures to detect unauthorized alterations. It ensures that vital data modules remain untampered by verifying their current state and checking an alteration log for any unauthorized changes.

Career Highlights

Rick Dale Hemmer is currently employed at International Business Machines Corporation, commonly known as IBM. His work at IBM has allowed him to develop and refine his innovative ideas in computer program verification.

Collaborations

Throughout his career, Hemmer has collaborated with notable coworkers, including Michael J Brinker and Daniel Mark Hursh. These collaborations have contributed to the advancement of technology in the field of computer security.

Conclusion

Rick Dale Hemmer's contributions to computer program verification highlight his innovative spirit and dedication to enhancing computer security. His patents reflect a commitment to ensuring the integrity of vital data components in computer systems.