Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8978106 | Programming, verifying, visualizing, and deploying browser extensions with fine-grained security policies | Benjamin Livshits, Arjun Guha, Matthew Fredrikson | 2015-03-10 |
| 8955043 | Type-preserving compiler for security verification | Juan Chen, Ravi Chugh | 2015-02-10 |