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