Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12182269 | Automatic generation of patches for security violations | Domagoj Babic, Omer Tripp, Franjo Ivancic, Sam Kerner, Markus Kusano +3 more | 2024-12-31 |
| 9141354 | Advantageous state merging during symbolic analysis | Volodymyr Kuznetsov, Johannes Kinder, George Candea | 2015-09-22 |
| 8863096 | Parallel symbolic execution on cluster of commodity hardware | Cristian Zamfir, George Candea | 2014-10-14 |