Together, they are leading a team of researchers in an effort to completely rethink how to make computers and networks secure, notably in a five-year project financed by the Defense Advanced Research Projects Agency (DARPA) of the U.S. Department of Defense.