Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11822664 | Securely signing configuration settings | Xeno S. Kovah, Nikolaj Schlej, Thomas P. Mensch, Wade Benson, Jerrold V. Hauck +4 more | 2023-11-21 |
| 11748468 | Dynamic switching between pointer authentication regimes | Bernard J. Semeria, Devon S. Andrade, Jeremy C. Andrus, Ahmed Bougacha, Peter Cooper +5 more | 2023-09-05 |
| 11709675 | Software verification of dynamically generated code | Filip J. Pizlo, Michael L. Saboff, Bernard J. Semeria, Ivan Krstic, Yusuke Suzuki +2 more | 2023-07-25 |