Patents

Granted

1. Paul H. Abbott, Lawrence Koved, Anthony J. Nadalin, and Marco Pistoia. Software Verification System, Method, and Computer Program Element. Issued as Patent 7,496,757 in the United States Patent and Trademark Office, February 2009.
   
2. Lawrence Koved, Anthony J. Nadalin, and Marco Pistoia. Method and Apparatus for Adopting Authorizations. Issued as Patent Number 7,343,620 by the United States Patent and Trademark Office, March 2008.
   
3. Lawrence Koved, Magda Mourad, Jonathan P. Munson, Giovanni Pacifici, Marco Pistoia, and Alaa S. Youssef. System and Method for Supporting Digital Rights Management in an Enhanced Java 2 Runtime Environment. Issued as Patent Number 7,308,717 by the United States Patent and Trademark Office, December 2007.
   
4. Aaron Kershenbaum, Lawrence Koved, Anthony J. Nadalin, and Marco Pistoia. Method and Apparatus for Automatically Determining Optimum Placement of Privileged Code Locations in Existing Code. Issued as Patent Number 7,237,236 by the United States Patent and Trademark Office, June 2007.
   
5. Ann N. Dalton, David Granshaw, Matthew R. Hogstrom, Aaron Kershenbaum, Lawrence Koved, Bert Laonipon, Simon C. Nash, and Marco Pistoia. Code Analysis for Selective Runtime Data Processing. Issued as Patent No. 7,219,341 by the United States Patent and Trademark Office, May 2007.
   
6. Magda Mourad, Jonathan P. Munson, Tamer Nadeem, Giovanni Pacifici, Marco Pistoia, and Alaa S. Youssef. Transparent Digital Rights Management for Extendible Content Viewers. Issued as Patent No. 7,171,558 by the United States Patent and Trademark Office, January 2007.
   
7. Aaron Kershenbaum, Lawrence Koved, and Marco Pistoia. Automated Program Resource Identification and Association. Issued as Patent No. 7,076,804 by the United States Patent and Trademark Office, July 2006.

Filed

1. Marco Pistoia and Takaaki Tateishi. System, Method and Apparatus for Statically Mapping Possible String Values to Their Corresponding Definitions and Operating Program Points. Filed in the United States Patent and Trademark Office, April 2009.
   
2. Stephen Fink, Yinnon A. Haviv, Marco Pistoia, Omer Tripp and Omri Weisman. Importance-Based Call Graph Construction. Filed in the United States Patent and Trademark Office, March 2009.
   
3. Shinya Kawanaka, Marco Pistoia, Guy Podjarny, Ory Segal, Adi Sharabani, Takaaki Tateishi, and Sachiko Yoshihama. Improved Crawling of Object Model Using Transformation Graph. Filed in the United States Patent and Trademark Office, August 2008.
   
4. Julian Dolby, Emmanuel Geay, Marco Pistoia, Barbara Ryder, and Takaaki Tateishi. System, Method, and Apparatus for Modular, String-Sensitive, Access Rights Analysis with Demand-Driven Precision. Filed in the United States Patent and Trademark Office, August 2008.
   
5. Marco Pistoia, Takaaki Tateishi, Omer Tripp, and Omri Weisman. A Client-Driven Refinement-Based Static Analysis Method for Identifying Chainable Accesses to a Logical Container. Filed as Docket IL8-2008-0188 in the United States Patent and Trademark Office, June 2008.
   
6. Anindya Banerjee, Marco Pistoia, and Avraham Shinnar. System, Method, and Apparatus for Automatic Tracking of Information in Multiple Interdependent Dimensions and Provably Secure User-Customizable Verification. Filed as Docket YOR9-2007-0721-US1 in the United States Patent and Trademark Office, January 2008.
   
7. Ted Habeck, Lawrence Koved, Jeff McAffer, and Marco Pistoia. Method and Apparatus for Automatic Determination of Authorization Requirements while Editing or Generating Code. Filed as Docket YOR9-2007-0244-US1 in the United States Patent and Trademark Office, October 2007.
   
8. Paolina Centonze and Marco Pistoia. System and Method for the Automatic Verification of Privilege-Asserting and Subject-executed Code. Filed as Docket YOR9-2006-0801-US1 in the United States Patent and Trademark Office, February 2007.
   
9. Paolina Centonze and Marco Pistoia. System and Method for the Automatic Identification of Subject-Executed Code and Subject-Granted Access Rights. Filed as Docket YOR9-2006-0802-US1 in the United States Patent and Trademark Office, February 2007.
   
10. Paolina Centonze and Marco Pistoia. System and Method for the Automatic Evaluation of Existing Security Policies and Automatic Creation of New Security Policies. Filed as Docket YOR9-2006-0475-US1 in the United States Patent and Trademark Office, February 2007.
    
11. Lawrence Koved and Marco Pistoia. Method, System and Computer Program Product for Enforcing Privacy Policies. Filed as Docket YOR9-2006-0512-US1 in the United States Patent and Trademark Office, October 2006.
    
12. Paolina Centonze, José Gomes, and Marco Pistoia. Method and System for Run-time Dynamic and Interactive Identification of Software Authorization Requirements and Privileged Code Locations and for Validation of Other Software Program Analysis Results. Filed as Docket YOR9-2006-0113-US1 in the United States Patent and Trademark Office, May 2006.
    
13. Marco Pistoia, Lawrence Koved, and Paolina Centonze. System, Apparatus and Method for Identifying Authorization Requirements in Component-based Systems. Filed as Docket YOR920040183US1 in the United States Patent and Trademark Office, May 2004.
    
14. Bowen L. Alpern, Aaron Kershenbaum, Robert D. Johnson, Lawrence Koved, George B. Leeman Jr., Marco Pistoia, Darrell Reimer, Kavitha Srinivas, and Harini Srinivasan. Static Analysis Based Error Reduction for Software Applications. Filed as Docket YOR920020352US1 in the United States Patent and Trademark Office, July 2003.
    
15. Lawrence Koved, Anthony J. Nadalin, Nataraj Nagaratnam, Marco Pistoia, and Bruce Rich. Method and Apparatus for Security Providers to Implement Java Permission Based Access Control through Permission Type Inheritance. Filed as Docket AUS9-2001-0942-US1 in the United States Patent and Trademark Office, November 2001.
    
16. Lawrence Koved, Anthony J. Nadalin, Nataraj Nagaratnam, Marco Pistoia, and Bruce Rich. Method and Apparatus for Type Independent Permission Based Access Control. Filed as Docket AUS9-2001-0941-US1 in the United States Patent and Trademark Office, November 2001.