Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12175103 | Systems and methods for mapping data structures to memory in multi-level memory hierarchies | Judson Powers, Colleen Kimball | 2024-12-24 |
| 12120146 | Systems and methods for applying attack tree models and physics-based models for detecting cyber-physical threats | Martiros Shakhzadyan, Judson Powers | 2024-10-15 |
| 12026440 | Optimizing aircraft flows at airports using data driven predicted capabilities | Douglas Sweet, Sebastian Timar | 2024-07-02 |
| 11934968 | System and method for anticipating advances in technology | — | 2024-03-19 |
| 11501039 | Optimizing aircraft flows at airports using data driven predicted capabilities | Douglas Sweet, Sebastian Timar | 2022-11-15 |
| 11461477 | Obfuscation for high-performance computing systems | Judson Powers, Robert A. Joyce, Scott Aloisio | 2022-10-04 |
| 11444974 | Systems and methods for cyber-physical threat modeling | Martiros Shakhzadyan, Judson Powers | 2022-09-13 |
| 11349894 | Bandwidth-dependent media stream compression | Tyler J. Mitchell, Scott Aloisio, Valentino Felipe, Judson Powers | 2022-05-31 |
| 11245743 | Bandwidth dependent media stream compression | Tyler J. Mitchell, Judson Powers, Scott Aloisio, Valentino Felipe | 2022-02-08 |
| 11122079 | Obfuscation for high-performance computing systems | Scott Aloisio, Robert A. Joyce, Paul Nicotera | 2021-09-14 |
| 10862938 | Bandwidth-dependent media stream compression | Tyler J. Mitchell, Scott Aloisio, Valentino Felipe, Judson Powers | 2020-12-08 |
| 10812562 | Bandwidth dependent media stream compression | Tyler J. Mitchell, Judson Powers, Scott Aloisio, Valentino Felipe | 2020-10-20 |
| 10783288 | System and method for predicting aircraft runway capacity | Sebastian Timar, Douglas Sweet | 2020-09-22 |
| 10621365 | Obfuscation for high-performance computing systems | Judson Powers, Robert A. Joyce, Scott Aloisio | 2020-04-14 |
| 9191391 | Cross-domain object models for securely sharing information between network security domains | — | 2015-11-17 |
| 8984396 | Identifying and representing changes between extensible markup language (XML) files using symbols with data element indication and direction indication | Daniel James Tingstrom, Robert A. Joyce, Stephen K. Brueckner, Haim Yehuda Bar | 2015-03-17 |
| 8898285 | Service oriented architecture version and dependency control | Daniel James Tingstrom, Robert A. Joyce, Stephen K. Brueckner, Haim Yehuda Bar | 2014-11-25 |
| 8756237 | Scalable distributed processing of RDF data | Robert A. Joyce | 2014-06-17 |
| 8474047 | Remote collection of computer forensic evidence | Frank N. Adelstein, Robert A. Joyce | 2013-06-25 |
| 8176557 | Remote collection of computer forensic evidence | Frank N. Adelstein, Robert A. Joyce | 2012-05-08 |
| 8015211 | Secure peer-to-peer object storage system | Carla Marceau | 2011-09-06 |
| 7908281 | Dynamic assembly of information pedigrees | Carla Marceau, David A. Rosenthal, Marisa Gioioso | 2011-03-15 |
| 7716470 | Active verification of boot firmware | Dexter Kozen, Thomas J. Merritt | 2010-05-11 |
| 7496959 | Remote collection of computer forensic evidence | Frank N. Adelstein, Robert A. Joyce | 2009-02-24 |
| 7467417 | Active verification of boot firmware | Dexter Kozen, Thomas J. Merritt | 2008-12-16 |