Barua Wins NSF Grant

Barua Wins NSF Grant

Barua Wins NSF Grant

Dr. Rajeev Barua
Dr. Rajeev Barua

Associate Professor Rajeev Barua is the principal investigator for a three-year, $349,059 National Science Foundation Computer Systems Research award, "Binary rewriting without relocation information."

Binary executables and binary rewriters

A binary executable program is a program in machine (binary) code. Although people write programs in high-level computer languages such as C++ or Java, computers don't—in fact cannot—directly run those programs. Because computers only can run programs written in binary code (1's and 0's only), software developers use translation programs called "compilers" to change their high-level language programs into binary code. The resulting programs are called "binary executables" because they are written in binary code and now can be executed (run) by computers.

Traditionally, the binary executable is not transformed any further; rather it is simply run on the computer. Barua’s research observes that there is an opportunity to do better. The binary executable can be rewritten and improved in various ways, for example, to have a faster run-time speed, lower energy or memory use, better reliability or more secure execution. Programs that do this are called binary rewriters.

As an example, a binary rewriter can insert security checks into the program that would thwart malicious software attacks. A denial-of-service attack may run a legitimate program with inputs that cause it to allocate too much memory, thereby crashing the system. A binary rewriter Barua has developed can rewrite programs automatically to ensure that they obey memory quotas. If a rewritten program then tries to allocate too much memory, it will be gracefully terminated, rather than crashing the whole system with it.

Other security applications could involve rewriting programs to prevent sensitive information such as personal or financial information from being accessed on one's computer without permission. Barua's rewriter inserts code that simultaneously protects against all such attacks.

Barua's new research

Binary rewriters have a severe limitation—they are unable to rewrite binaries that have no relocation information. Because virtually all commercial binary executables lack relocation information, they cannot be rewritten by existing rewriters. Therefore the ability to rewrite binary executables that do not have relocation information is critical to making binary rewriting technology applicable in practice.

The NSF funding will allow Barua to develop a binary rewriter that can be used to statically transform binary code that lacks relocation information and to do so without the overhead of dynamic binary rewriting.

This research will allow any binary to be rewritten, unleashing innovation and engendering a new class of commercial applications that would boost the productivity and security of computer programs.

Related Articles:
NSF Grant for Hurricane Forecasting Work
$1.5M NSF Grant for Ant-like Microrobots
Grant to Improve Data Reliability
NSF Grant for Srivastava, Narayan
NSF Grant for Ephremides
Delivering on Quantum Innovation
Kjellerup Co-organizes Biofilms Conference
Five Years of Fearless Flight
Elon Musk Tweets Back
Cuff, Scale, and Smartphone

September 1, 2009

Prev   Next

Current Headlines

Behtash Babadi Wins Clark School's Junior Faculty Teaching Award

Accepting Applications for Student Entrepreneurship Fellowship

Discoveries from NASA's Parker Solar Probe published in Nature

Rama Chellappa Wins 2020 IEEE Jack S. Kilby Signal Processing Medal

New Report Recommends a Path for the Future of Maryland’s Clean Energy Economy

Clark professors Wu, Liu named National Academy of Inventors Fellows

Additive Manufacturing and Ni-Ti Metal Bolster Cooling Technology

Additive Manufacturing and Ni-Ti Metal Bolster Cooling Technology

News Resources

Return to Newsroom

Search News

Archived News

Events Resources

Events Calendar