Galois

Concurrent-Orchestration-In-Haskell.pdf

 (200K)

Copilot: A Hard Real-Time Runtime Monitor

 (333K)

Efficient Lookup-Table Protocol in Secure Multiparty Computation

 (889K)

LViz: Lobster Visualization Description

 (738K)

Lobster: A Domain Specific Language for SELinux Policies

 (539K)

Policy DSL: High-level Specifications of Information Flows for Security Policies

 (682K)

SELinux Policy Semantics

 (131K)

Symbion: An Assertion Language for Lobster Policies

 (153K)