Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Advisor
Dougherty, Daniel J.
Remove constraint Advisor: Dougherty, Daniel J.
Resource type
Thesis
Remove constraint Resource type: Thesis
1
-
7
of
7
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
100 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
A Coq Formalization of Unification Modulo Exclusive-Or
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
Multi-Decision Policy and Policy Combinator Specifications
Noninterference in Concurrent Game Structures
Formalization and Verification of Rewriting-Based Security Polices
Toggle facets
Limit your search
Collections
Masters Theses
7
Year
Year range begin
–
Year range end
Current results range from
2007
to
2023
View distribution
Creator
Danas, Ryan
1
Giannakopoulos, Theophilos John
1
Mardziel, Piotr
1
VanValkenburg, MaryAnn E.
1
Veloz Baez, Freddy
1
more
Creators
»
Advisor
Dougherty, Daniel J.
[remove]
7
Shue, Craig A.
1
Contributor
Dougherty, Daniel J.
7
Shue, Craig A.
1
Unit (Department)
Computer Science
6
Publisher
Worcester Polytechnic Institute
7
Resource type
Thesis
[remove]
7
License
https://creativecommons.org/licenses/by/4.0/
1