Who We Are
We are a digital-security research and development center that is pioneering new ways to make real-world systems more secure, while reducing the need for human expertise. The Digital Science Research Center advances automated program analysis and repairs system weaknesses at speed, scale and with precision.
Our team brings together computer digital-security experts from academia, industry and the broader security community under one roof to solve the most sophisticated digital issues and security vulnerabilities.
To drive progress in autonomous computer security, we collaborate with the world’s most talented scientists, university professors and leading software analysts with expertise in such areas as binary analysis, guided fuzzing, emulation, compilers, debugging, symbolic execution, machine learning, SMT solvers, reverse engineering, program synthesis and formal verification.
DSRC is part of the Technology Innovation Institute (TII), a UAE-based research center that aims to lead global advances in artificial intelligence, autonomous robotics, quantum computing, cryptography and quantum communications, directed energy, secure communication, smart devices, advanced materials, and propulsion and space technologies.
We belong to the Abu Dhabi Government’s Advanced Technology Research Council (ATRC), which oversees technology research in the emirate.
What We Do
We conduct breakthrough scientific studies and experiments aimed at creating novel approaches and effective methods for improved reasoning over complex compiled binaries. Appreciating that humans cannot scale and make the world’s software safer on our own, we spur innovation through technological advances.
Above all, we are fostering a more in-depth exploration of vulnerability analyses with automation and remediation capabilities at scale, with minimal human intervention required. We do this by coming up with new techniques to identify nested exploitable software vulnerabilities and develop innovative self-healing capabilities to safeguard against malicious attacks. To accelerate the development of highly optimised intelligent security tools and achieve autonomy, we conduct rapid prototyping.
When it comes to sharing the knowledge we’ve gained in practice, we publish whitepapers with source code, file patents driving technological breakthroughs, and create frameworks that leverage our recent discoveries.
Today, our work focuses on:
Automated Binary Analysis
Automated Vulnerability Evaluation
Automated Strategic Decision-Making