Aarno Labs is Pioneering Cybersecurity Technologies for Application Understanding and Protection. We're an R&D firm that specializes in solving extremely difficult computer security challenges by developing advanced automated techniques. We then create products for commercial and government sector customers. Our researchers offer pioneering and deep expertise across multiple fields of computer science. Aarno Labs seeks short and long-term R&D contracts from organizations with high security requirements looking for aggressive solutions to their computer security challenges. Aarno labs is staffed by researchers with significant academic and industry experience in computer security and program analysis research. Combined, our principal researchers have led over a dozen research grants from DoD and intelligence agencies, and published over 75 research papers in the fields of program analysis and security. Aarno labs has extensive expertise in applying static and dynamic program analysis to find and patch program vulnerabilities and to uncover malicious behaviors. More specifically, we have deep expertise in mobile malware analysis, automatic bug finding, automatic program repair, precise whole-program static analysis, low-overhead dynamic code instrumentation, program verification, and machine learning.