Der-Tsai Lee

Title: The Innovations of Der-Tsai Lee

Introduction

Der-Tsai Lee is a notable inventor based in Wilmette, IL (US). He has made significant contributions to the field of software security, holding a total of 5 patents. His work focuses on enhancing the security of web applications and verifying the correctness of software.

Latest Patents

One of his latest patents is a system and method for securing web application code and verifying the correctness of software. This innovation describes methods, software tools, and systems for analyzing software applications, particularly web applications. The software application to be analyzed is transformed into an abstract representation that preserves its information flow properties. The abstract interpretation is evaluated to identify vulnerabilities using type qualifiers to associate security levels with variables and functions in the application being analyzed, along with typestate checking. Runtime guards are then inserted into the application to secure identified vulnerabilities.

Career Highlights

Der-Tsai Lee has worked with several prominent organizations, including Armorize Technologies, Inc. and Northwestern University. His experience in these institutions has allowed him to develop and refine his innovative approaches to software security.

Collaborations

Some of his notable coworkers include Chi-Haur Wu and Yao-Wen Huang, who have collaborated with him on various projects.

Conclusion

Der-Tsai Lee's contributions to software security through his patents and career experiences highlight his role as an influential inventor in the field. His work continues to impact the way web applications are secured and verified for correctness.