Methods and tools for reliable infrastructure as code.
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.