Issued Patents All Time
Showing 25 most recent of 50 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11909770 | Ongoing and on-demand secure verification of audit compliance | Sandra P. Nava, Eric Richter, Jon P. Weiser, Matt Hartenbower, George C. Wilson | 2024-02-20 |
| 11265348 | Ongoing and on-demand secure verification of audit compliance | Sandra P. Nava, Eric Richter, Jon P. Weiser, Matt Hartenbower, George C. Wilson | 2022-03-01 |
| 10754630 | Build-time code section-specific compiler selection | George C. Wilson, Nathan D. Fontenot, Christy L. Norman | 2020-08-25 |
| 10733081 | Automatically establishing significance of static analysis results | Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson | 2020-08-04 |
| 10733080 | Automatically establishing significance of static analysis results | Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson | 2020-08-04 |
| 10540350 | Source code search engine | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2020-01-21 |
| 10262134 | Detection of key logging activity | Fionnuala G. Gunter, Christy L. Norman Perez, George C. Wilson | 2019-04-16 |
| 10241892 | Issuance of static analysis complaints | — | 2019-03-26 |
| 10095734 | Source code search engine | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2018-10-09 |
| 10042775 | Virtual disk alignment access | Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp | 2018-08-07 |
| 9940259 | Virtual disk alignment access | Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp | 2018-04-10 |
| 9934270 | Source code search engine | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2018-04-03 |
| 9852055 | Multi-level memory compression | Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Ryan P. Grimm, Joel H. Schopp +1 more | 2017-12-26 |
| 9852056 | Multi-level memory compression | Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Ryan P. Grimm, Joel H. Schopp +1 more | 2017-12-26 |
| 9811556 | Source code search engine | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2017-11-07 |
| 9734078 | Resetting memory locks in a transactional memory system | Nathan D. Fontenot, Ryan P. Grimm, Robert C. Jennings, Jr., Joel H. Schopp | 2017-08-15 |
| 9594559 | Binary file for computer program having multiple executable code variants for a function that are executable on a same processor architecture | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2017-03-14 |
| 9552223 | Post-return asynchronous code execution | Nathan D. Fontenot, Robert C. Jennings, Jr., Joel H. Schopp, George C. Wilson | 2017-01-24 |
| 9524246 | Resetting memory locks in a transactional memory system | Nathan D. Fontenot, Ryan P. Grimm, Robert C. Jennings, Jr., Joel H. Schopp | 2016-12-20 |
| 9513951 | Maintaining hardware resource bandwidth quality-of-service via hardware counter | Christopher J. Arges, Nathan D. Fontenot, Jeffrey George, Joel H. Schopp, Mark Wayne VanderWiele | 2016-12-06 |
| 9378242 | Source code search engine | Nathan D. Fontenot, Fionnuala G. Gunter, George C. Wilson | 2016-06-28 |
| 9250895 | Establishing subsystem boundaries based on call flow graph topology | — | 2016-02-02 |
| 9201642 | Extending platform trust during program updates | Nathan D. Fontenot, Joel H. Schopp, George C. Wilson | 2015-12-01 |
| 9183022 | Maintaining hardware resource bandwidth quality-of-service via hardware counter | Christopher J. Arges, Joel H. Schopp, Nathan D. Fontenot, Jeffrey George, Mark Wayne VanderWiele | 2015-11-10 |
| 9183054 | Maintaining hardware resource bandwidth quality-of-service via hardware counter | Christopher J. Arges, Joel H. Schopp, Nathan D. Fontenot, Jeffrey George, Mark Wayne VanderWiele | 2015-11-10 |