Walter Barlett Farrell

Title: Walter Barlett Farrell: Innovator in Program Verification

Introduction

Walter Barlett Farrell is a notable inventor based in Woodstock, NY (US). He has made significant contributions to the field of information technology, particularly in program verification. With a total of five patents to his name, Farrell's work has had a lasting impact on the industry.

Latest Patents

Among his latest patents is the "Method and apparatus for transitive program verification." This invention provides a method, apparatus, and program storage device for verifying application programs in an information handling system. The system utilizes a signature verification function to ensure the integrity of the application program before execution. If the digital signature is verified, the application program proceeds to execute. However, if the verification fails, the application program terminates without executing.

Another significant patent is "Cross security-domain identity context projection within a computing environment." This invention enhances processing within computing environments by determining the acceptability of a user's security context across different security domains. If the context is deemed unacceptable, a runtime security context is created, allowing for seamless processing across systems.

Career Highlights

Walter Barlett Farrell is currently employed at International Business Machines Corporation (IBM), a leading technology company known for its innovations in computing. His work at IBM has allowed him to develop and refine his inventions, contributing to the company's reputation for cutting-edge technology.

Collaborations

Throughout his career, Farrell has collaborated with notable colleagues, including Richard Henry Guski and John C. Dayka. These collaborations have fostered an environment of innovation and creativity, leading to advancements in their respective fields.

Conclusion

Walter Barlett Farrell is a distinguished inventor whose contributions to program verification and security in computing environments have made a significant impact. His patents reflect a commitment to enhancing technology and ensuring the integrity of software applications.