Projects

Smartbugs

Executional framework for running analysis tools on smart contracts.

Password Security

Tools and methods to improve password security.

FM Education

Tools, methods, and resources that support teaching formal methods.

Interactive Narratives

Tools and methods for computer-generated narratives.