Projects

Executional framework for running analysis tools on smart contracts.

Tools and methods to improve password security.

Tools and methods for computer-generated narratives.

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