3 Patents
- US122656502025Systems, Methods, and Media for Protecting Applications from Untrusted Operating Systems
The Trustees Of Columbia University In The City Of New York
0 cites - US121539442024Systems, Methods, and Media for Trusted Hypervisors
The Trustees Of Columbia University In The City Of New York
0 cites - US120791022024Systems, Methods, and Media for Proving the Correctness of Software on Relaxed Memory Hardware
The Trustees Of Columbia University In The City Of New York
0 cites