| 11720373 |
Data plane program verification |
Jeongkeun Lee, Cole Nathan Schlesinger, John Nathan Foster, Han Wang, William Douglas Hallahan +2 more |
2023-08-08 |
| 11188355 |
Data plane program verification |
Jeongkeun Lee, Cole Nathan Schlesinger, John Nathan Foster, Han Wang, William Douglas Hallahan +2 more |
2021-11-30 |
| 10826815 |
Verification of access control list rules provided with a message |
Changhoon Kim, Jeongkeun Lee, Milad Sharif |
2020-11-03 |
| 10764170 |
Generation of path failure message at forwarding element based on message path |
Changhoon Kim, Jeongkeun Lee, Milad Sharif |
2020-09-01 |
| 10757005 |
Execution of packet-specified actions at forwarding element |
Changhoon Kim, Jeongkeun Lee, Milad Sharif |
2020-08-25 |
| 10700959 |
Source routing design with simplified forwarding elements |
Changhoon Kim, Jeongkeun Lee, Milad Sharif |
2020-06-30 |
| D469745 |
Emergency medical video-conferencing unit |
— |
2003-02-04 |
| D469746 |
Emergency medical video-conferencing unit |
— |
2003-02-04 |