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