Index Catalog // Digital WPI

Start Over

Filtering by: Advisor Dougherty, Daniel J. Unit (Department) Computer Science

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

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

User Evaluation Framework for Model Finding Research

A Framework for Exploring Finite Models

First-Order Models for Configuration Analysis

Multi-Decision Policy and Policy Combinator Specifications

Noninterference in Concurrent Game Structures

Formalization and Verification of Rewriting-Based Security Polices