Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11256561 | Computer program crash handling | Peter Keller | 2022-02-22 |
| 10528729 | Methods and systems for defending against cyber-attacks | Scott Ehrlich Friedman, Peter Keller | 2020-01-07 |
| 10108798 | Methods and systems for defending against cyber-attacks | Scott Ehrlich Friedman, Peter Keller | 2018-10-23 |
| 7774297 | System and method for network security | Ryan A. VanRiper, Christopher Geib | 2010-08-10 |
| 7461289 | System and method for computer service security | Ryan A. VanRiper, Walter Heimerdinger, Michael Pelican | 2008-12-02 |
| 6957178 | Incremental automata verification | Robert P. Goldman, Michael Pelican | 2005-10-18 |