Aarno Labs is an R&D firm that specializes in solving extremely difficult computer security challenges by developing advanced automated techniques. 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.
Dr. Stelios Sidiroglou-Douskos
Dr. Sidiroglou-Douskos is an expert in the areas of systems, computer security and programming languages. Prior to founding Aarno Labs, Stelios was a research scientist at MIT CSAIL. At MIT, stelios was the lead researcher on DARPA’s MRC and MUSE programs and served as the lead developer in DARPA’s application communities project. Stelios has published over 50 research papers in the top programming languages and computer security conferences. He was also the co-founder of Locu, Inc which was acquired by Godaddy.
Mr. Perkins is an expert in automatic program repair, dynamic invariant detection, automatic test generation, type inference, and dynamic instrumentation. Prior to Aarno Labs, Jeff was a full-time research scientist at MIT CSAIL. At MIT, he was the program manager and lead researcher for DARPA's Application Communities program and IARPA's STONESOUP program. He has over 20 years of experience in the design, development, and management of software and systems. Jeff has published dozens of works in major research conferences.
Dr. Michael Gordon
Dr. Gordon is an expert in static and dynamic program analysis, malware analysis, and mobile application security. Before Aarno Labs, Michael held a research position at MIT, publishing in top research conferences. As MIT's lead investigator on DARPA’s APAC program, Michael led the development of best-in-class global static analyses for exposing malware in mobile apps, achieving unsurpassed malware diagnosis accuracy in the last six APAC engagements. The technology is currently being transitioned to the DoD. Michael earned his MS and PhD from MIT in computer science.
ProjectsA sample of Aarno Labs' public projects and grants.
Aarno Labs is seeking talented and motivated individuals to improve software security and reliability. Applicants with experience in program analysis and software security are strongly encouraged to apply. To start the conversation, please email us at firstname.lastname@example.org.