Search Constraints
Search Results
Select an image to start the slideshow
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
1 of 8
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
2 of 8
User Evaluation Framework for Model Finding Research
3 of 8
A Framework for Exploring Finite Models
4 of 8
First-Order Models for Configuration Analysis
5 of 8
Multi-Decision Policy and Policy Combinator Specifications
6 of 8
Noninterference in Concurrent Game Structures
7 of 8
Formalization and Verification of Rewriting-Based Security Polices
8 of 8