| 11868467 |
Semiconductor device, control flow inspection method, non-transitory computer readable medium, and electronic device |
Astha Jada, Toshiki Kobayashi, Takayuki Sasaki, Daniele Enrico Asoni |
2024-01-09 |
| 11860762 |
Semiconductor device, control flow inspection method, non-transitory computer readable medium, and electronic device |
Astha Jada, Toshiki Kobayashi, Takayuki Sasaki, Daniele Enrico Asoni |
2024-01-02 |
| 11431569 |
Communication apparatus, system, rollback method, and non-transitory medium |
Takayuki Sasaki, Daniele Enrico Asoni |
2022-08-30 |
| 11349702 |
Communication apparatus, system, rollback method, and non-transitory medium |
Takayuki Sasaki, Daniele Enrico Asoni |
2022-05-31 |
| 11297070 |
Communication apparatus, system, method, and non-transitory medium |
Takayuki Sasaki, Daniele Enrico Asoni |
2022-04-05 |
| 10649847 |
Communication apparatus, system, method, and non-transitory medium |
Takayuki Sasaki, Srdjan Capkun, Claudio Soriente, Ramya Jayaram Masti, Jason Woosuk Lee |
2020-05-12 |
| 10601632 |
Communication apparatus, system, method, and non-transitory medium for securing network communication |
Takayuki Sasaki, Srdjan Capkun, Claudio Soriente, Ramya Jayaram Masti, Jason Woosuk Lee |
2020-03-24 |
| 9367701 |
Systems and methods for maintaining integrity and secrecy in untrusted computing platforms |
Jorge Guajardo Merchan, Emmanuel Kwame Owusu, Jonathan M. McCune, James Newsome, Amit Vasudevan |
2016-06-14 |
| 9177153 |
Verifying integrity and guaranteeing execution of code on untrusted computer platform |
Pradeep Khosla, Arvind Seshadri, Mark Y. Luk, Leendert Peter Van Doorn |
2015-11-03 |
| 8832778 |
Methods and apparatuses for user-verifiable trusted path in the presence of malware |
Jonathan M. McCune, Anupam Datta, Virgil D. Gligor, Ning Qu |
2014-09-09 |
| 8671163 |
Multi-output packet server with independent streams |
Michael G. Luby, Ronen Vainish, Lars Eilstrup Rasmussen, David Kushi, Serban Simu +4 more |
2014-03-11 |
| 8627414 |
Methods and apparatuses for user-verifiable execution of security-sensitive code |
Jonathan M. McCune, Anupam Datta, Virgil D. Gligor, Yanlin Li, Bryan Jeffrey Parno +2 more |
2014-01-07 |
| 8578483 |
Systems and methods for preventing unauthorized modification of an operating system |
Arvind Seshadri, Ning Qu |
2013-11-05 |
| 8352738 |
Method and apparatus for secure online transactions |
Bryan Jeffrey Parno, Cynthia Kuo |
2013-01-08 |
| 8312276 |
Method for sending and receiving an evaluation of reputation in a social network |
Shin-Yan Chiou, Shih-Ying Chang, Ghita Mezzour, Hung-Min Sun |
2012-11-13 |
| 8185809 |
Multi-output packet server with independent streams |
Michael G. Luby, Ronen Vainish, Lars Eilstrup Rasmussen, David Kushi, Serban Simu +4 more |
2012-05-22 |
| 8150037 |
Apparatus and method for secure, user-friendly deployment of information |
Mark Y. Luk, Cynthia Kuo, Evan Gaustad |
2012-04-03 |
