Search Constraints
« Previous |
41 - 48 of 48
|
Next »
Search Results
Select an image to start the slideshow
Trusted Execution Environments with Architectural Support: Foundations and Implementation
1 of 8
A Natural Language Interface Using First Order Logic
2 of 8
Model checking for role-based access control
3 of 8
A Tactic For Setoid Congruence
4 of 8
Scenarios for Description Logic
5 of 8
Environment Cockpit
6 of 8
A Formalization of Strand Spaces in Coq
7 of 8
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
8 of 8