|
Welcome to Architecture Technology Corporation
Located in Ithaca, New York, ATC-NY has provided advanced
research and development, as well as products, in the fields
of computer security, information management, and reliable
computing since 1982.
picture of ATC-NY
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.
|