Patents by Inventor William B. Lindquist

William B. Lindquist has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Systems and methods for providing anti-malware protection on storage devices
    Patent number: 9183390
    Abstract: Systems and methods for providing anti-malware protection on storage devices are described. In one embodiment, a storage device includes a controller, firmware, and memory. The firmware communicates with an authorized entity (e.g., external entity, operating system) to establish a secure communication channel. The system includes secure storage to securely store data.
    Type: Grant
    Filed: December 22, 2011
    Date of Patent: November 10, 2015
    Assignee: Intel Corporation
    Inventors: Paul J. Thadikaran, Adam Greer Wright, Thomas R. Bowen, Janet Yabeny Sholar, Reginald D. Nepomuceno, Nicholas D. Triantafillou, Richard Paul Mangold, Darren Lasko, Anand S. Ramalingam, Paritosh Saxena, Unnikrishnan Jayakumar, William B. Lindquist, John A. List
  • SYSTEMS AND METHODS FOR PROVIDING ANTI-MALWARE PROTECTION ON STORAGE DEVICES
    Publication number: 20130283381
    Abstract: Systems and methods for providing anti-malware protection on storage devices are described. In one embodiment, a storage device includes a controller, firmware, and memory. The firmware communicates with an authorized entity (e.g., external entity, operating system) to establish a secure communication channel. The system includes secure storage to securely store data.
    Type: Application
    Filed: December 22, 2011
    Publication date: October 24, 2013
    Inventors: Paul J. Thadikaran, Adam Greer Wright, Thomas R. Bowen, Janet Yabeny Sholar, Reginald D. Nepomuceno, Nicholas D. Triantafillou, Richard Paul Mangold, Darren Lasko, Anand S. Ramalingam, Paritosh Saxena, Unnikrishnan Jayakumar, William B. Lindquist, John A. List
  • Event driven graph explorer for model-based testing of software
    Patent number: 7302677
    Abstract: A software testing system uses a graph traversal algorithm to explore a model simulating a software product in order to identify errors in the software product. The model employs a Petri's net construct for maintaining state and governing transitions. In particular, the model mediates between a test driver and the software product. The model-based approach is usable both to validate the design of the software and verify the implementation of that design. Using the Petri net model, the test space is bounded.
    Type: Grant
    Filed: May 8, 2003
    Date of Patent: November 27, 2007
    Assignee: Microsoft Corporation
    Inventors: Pierre-Jean Reissman, Michael R. Rohman, Praveen K. Krovvidi, William B. Lindquist
  • Event driven graph explorer for model-based testing of software
    Publication number: 20040225919
    Abstract: A software testing system uses a graph traversal algorithm to explore a model simulating a software product in order to identify errors in the software product. The model employs a Petri's net construct for maintaining state and governing transitions. In particular, the model mediates between a test driver and the software product. The model-based approach is usable both to validate the design of the software and verify the implementation of that design. Using the Petri net model, the test space is bounded.
    Type: Application
    Filed: May 8, 2003
    Publication date: November 11, 2004
    Applicant: Microsoft Corporation
    Inventors: Pierre-Jean Reissman, Michael R. Rohman, Praveen K. Krovvidi, William B. Lindquist