Security, integrity, and ease of use
01 / Overview
View our Team Inventory, Team Standards, Technological Feasibility, and Requirements Doc papers.
CryPTO is an automated obfuscation program that removes sensitive and identifying data from TLA+ specifications, allowing for easier sharing with external professionals and better information security.
02 / Details
Development Timeline
Team formation and communication, team standards written
Team formation and communication, team standards written
Initial contact with client and first research phase
Initial contact with client and first research phase
Requirements finalized and tech demo presented to client
Requirements finalized and tech demo presented to client
Detailed design finalized and beginning of alpha testing
Detailed design finalized and beginning of alpha testing
Final product finalized and delivered to client
Final product finalized and delivered to client