Research

Abstraction and Refinement (4 Part Series)

TLA+ is a powerful tool that allows you to define a system or algorithm at an arbitrary level of detail or complexity.

distributed systems

TLA+

formal methods

Topic Chains for Determining Risk of Unauthorized Information Transfer

This thesis motivates the need for a quantitative leakage risk metric, and provides a risk assessment system, called Whispers, for computing it. Using unsupervised machine learning techniques, Whispers uncovers themes in an organization’s document corpus, including previously unknown or unclassified data. Then, by correlating the document with its authors, Whispers can identify which data are easier to contain, and conversely which are at risk.

thesis

education