US Patent Issued to The Trustees of the Stevens Institute of Technology on May 5 for "Amplification of formal method and fuzz testing to enable scalable assurance for communication system" (New Jersey Inventors)

ALEXANDRIA, Va., May 5 -- United States Patent no. 12,621,337, issued on May 5, was assigned to The Trustees of the Stevens Institute of Technology (Hoboken, N.J.).

"Amplification of formal method and fuzz testing to enable scalable assurance for communication system" was invented by Ying Wang (West New York, N.J.) and Jingda Yang (Jersey City, N.J.).

According to the abstract* released by the U.S. Patent & Trademark Office: "Methods for more secure mobile network communications are disclosed. Specifically, details involving natural language processing (NLP) based auto formal modeling of protocols and specifications with large language models (NLP) are provided. Methods for formal and fuzzing amplification for fuzz testing to detect vulne...