| 12250136 |
Link fault isolation using latencies |
Shachar Raindel, Jitendra D. Padhye, Avi William Levy, Mahmoud S. El Haddad, Alireza Khosgoftar Monafared +2 more |
2025-03-11 |
| 11671342 |
Link fault isolation using latencies |
Shachar Raindel, Jitendra D. Padhye, Avi William Levy, Mahmoud S. El Haddad, Alireza Khosgoftar Monafared +2 more |
2023-06-06 |
| 11050652 |
Link fault isolation using latencies |
Shachar Raindel, Jitendra D. Padhye, Avi William Levy, Mahmoud S. El Haddad, Alireza Khosgoftar Monafared +2 more |
2021-06-29 |
| 10148442 |
End-to-end security for hardware running verified software |
Chris Hawblitzel, Jacob R. Lorch, Jonathan R. Howell, Bryan Jeffrey Parno |
2018-12-04 |
| 9536093 |
Automated verification of a software system |
Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell |
2017-01-03 |
| 9363087 |
End-to-end security for hardware running verified software |
Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Jonathan R. Howell |
2016-06-07 |
| 8966063 |
Operating a sleep management service |
Jacob R. Lorch, Jitendra D. Padhye, Wenbiao Xing, Wei-Lun Wan, Li-Hui Chen |
2015-02-24 |
| 8800002 |
Inter-process networking for many-core operating systems |
David G. Thaler, Parveen Patel, Rebecca Isaacs, Yongguang Zhang |
2014-08-05 |
| 8473744 |
Methods and systems for unilateral authentication of messages |
Art Shelest, David G. Thaler, Gregory O'Shea, Michael Roe |
2013-06-25 |
| 8155662 |
Self-configuring wireless network location system |
Alastair Wolman, Jitendra D. Padhye, Paramvir Bahl, Ranveer Chandra |
2012-04-10 |
| 8032898 |
Kernel interface with categorized kernel objects |
Galen C. Hunt, James R. Larus, Manuel A. Fahndrich, Bjarne Steensgaard, David Tarditi |
2011-10-04 |
| 8000698 |
Detection and management of rogue wireless network connections |
Alastair Wolman, Jitendra D. Padhye, Ranveer Chandra, Paramvir Bahl, Manpreet Singh +1 more |
2011-08-16 |
| 7978672 |
System and method for link quality source routing |
Richard P. Draves, Jr., Jitendra D. Padhye |
2011-07-12 |
| 7907562 |
Managing dense wireless access point infrastructures in wireless local area networks |
Rohan Narayan Murty, Ranveer Chandra, Jitendra D. Padhye, Alastair Wolman |
2011-03-15 |
| 7756044 |
Inverse multiplexing heterogeneous wireless links for high-performance vehicular connectivity |
Jitendra D. Padhye, Ratul Mahajan, Sharad Agarwal |
2010-07-13 |
| 7680091 |
System and method for link quality source routing |
Richard P. Draves, Jr., Jitendra D. Padhye |
2010-03-16 |
| 7668513 |
Platform for enterprise wireless network management applications |
Alastair Wolman, Jitendra D. Padhye, Paramvir Bahl, Ranveer Chandra |
2010-02-23 |
| 7616575 |
System and method for link quality routing using a weighted cumulative expected transmission time metric |
Jitendra D. Padhye, Richard P. Draves, Jr. |
2009-11-10 |
| 7516049 |
Wireless performance analysis system |
Alastair Wolman, Jitendra D. Padhye, Paramvir Bahl, Ranveer Chandra |
2009-04-07 |
| 7376122 |
System and method for link quality source routing |
Richard P. Draves, Jr., Jitendra D. Padhye |
2008-05-20 |
| 7134019 |
Methods and systems for unilateral authentication of messages |
Art Shelest, David G. Thaler, Gregory O'Shea, Michael Roe |
2006-11-07 |
