Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Total Assignments:
1
|
|
Patent #:
|
|
Issue Dt:
|
06/08/2021
|
Application #:
|
16050828
|
Filing Dt:
|
07/31/2018
|
|
Publication #:
|
|
Pub Dt:
|
02/06/2020
| | | | |
|
Inventors:
|
Francois Gauthier, Nathan Keynes, Padmanabhan Krishnan, Cristina Cifuentes et al
|
|
Title:
|
BUFFER OVERFLOW DETECTION BASED ON A SYNTHESIS OF ASSERTIONS FROM TEMPLATES AND K-INDUCTION
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 500 ORACLE PARKWAY |
| REDWOOD SHORES, CALIFORNIA 94065 |
|
|
|
|
| FERGUSON BRASWELL FRASER KUBASTA PC |
| 9 GREENWAY PLAZA |
| HOUSTON, TX 77046 |
|
|
Search Results as of:
06/19/2024 10:06 PM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|
