Index Catalog // Digital WPI

Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

1 of 6

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

2 of 6

User Evaluation Framework for Model Finding Research

3 of 6

Multi-Decision Policy and Policy Combinator Specifications

4 of 6

Noninterference in Concurrent Game Structures

5 of 6

Formalization and Verification of Rewriting-Based Security Polices

6 of 6

Limit your search