ATC-NY is part of the firm Architecture Technology Corporation. Formerly known as Odyssey Research Associates, Inc., ATC-NY provides advanced research and development, as well as products, in the fields of computer security, information management, and reliable computing. ATC-NY's research in information security has resulted in prototype systems and products addressing the protection of sensitive information, the detection of system intrusions, and the analysis of system vulnerabilities. These areas of work include software protection, computer forensics, intrusion detection, wireless network security, vulnerability analysis, security architecture, and security policy analysis and design. ATC-NY's contributions in information management include research and development in network-centric computing, workflow, information pedigree management, search and retrieval, and visualization. In reliable computing, ATC-NY's research encompasses design verification, implementation verification, model checking, quantum computing, and safety-critical systems. Recent projects include work in the area of network protocol analysis and synthesis of code that is correct by construction.