Yanni A Kouskoulas

Title: Yanni A Kouskoulas: Innovator in Automated Vulnerability Detection

Introduction

Yanni A Kouskoulas is a notable inventor based in Silver Spring, MD (US). He has made significant contributions to the field of automated vulnerability detection through his innovative methods and apparatus.

Latest Patents

Kouskoulas holds a patent for a "Method and apparatus for automated vulnerability detection." This patent describes a method that utilizes configured processing circuitry to identify vulnerabilities in program code. The process involves receiving a program, employing a disassembler to disassemble the program, generating a function call tree, and transforming program statements into logical equations. The method further simplifies these equations, propagates post conditions backwards, analyzes aliases, and uses an automated solver to determine the realizability of preconditions.

Career Highlights

Yanni A Kouskoulas is affiliated with The Johns Hopkins University, where he continues to advance his research and development in the field of computer science. His work focuses on enhancing the security of software through innovative detection methods.

Collaborations

Kouskoulas has collaborated with esteemed colleagues such as Douglas Charles Schmidt and C Durward McDonell, III. These collaborations have contributed to the advancement of knowledge and technology in automated vulnerability detection.

Conclusion

Yanni A Kouskoulas is a prominent figure in the realm of automated vulnerability detection, with a patent that showcases his innovative approach to identifying software vulnerabilities. His contributions continue to impact the field significantly.