Latest News

Forget the S-500 or Su-57 PAK-FA. Russia's Military Has Big Plans for the Future.

Russia has started planning for the development of a series of next-generation weapons to follow-on to systems such as the Sukhoi Su-57 PAK-FA and the S-500 surface-to-air missile (SAM) battery. These new systems—which the Russian government has not named—will be developed under future advanced State Armament Program.

“An important and key issue on our agenda is to define the beginning of the creation of yet another advanced state armament program,” Russian President Vladimir Putin said during a meeting of the Kremlin’s Military Industrial Commission . Putin said that Russia has to start planning for its future defense needs now as it completes developmental programs that were funded under the current State Armament Plan (GPV-2027). “It is important for us to move further and start planning today the future development and production of advanced weapons and equipment that will define the image of the Russian Armed Forces in the long-term, for the next few decades,” Putin said. Putin …

Subscribe to our mailing list

* indicates required

DARPA to brief industry on trusted computing project to safeguard computing systems from cyber attacks

U.S. military researchers will brief industry later this month on a new project to safeguard military trusted computing systems and networks from cyber attacks that exploit unauthenticated or potentially compromised electronic documents send in a variety of electronic data formats.

Officials of the U.S. Defense Advanced Research Projects Agency (DARPA) in Arlington, Va., will brief industry from 2 to 5 p.m. on 24 Aug. 2018 on the upcoming Safe Documents (SafeDocs) program.
SafeDocs seeks radical improvements in software's ability to reject invalid and maliciously crafted input data safely, while preserving the look and feel of relatively old electronic data formats. Industry briefings will be at the DARPA Conference Center, 675 N. Randolph St., in Arlington, Va.
DARPA researchers want the SafeDocs contractors to build knowledge of electronic document, message, and streaming formats, as well as nature of their security vulnerabilities.

Electronic documents are ubiquitous and essential to all aspects of modern life, DARPA researchers point out. Individuals and organizations must engage routinely with electronic documents from a variety of unauthenticated or potentially compromised electronic documents and data formats. Even if today's cyber security measures can authenticate the sender, the data itself may come from an untrusted source.
Internet users expect to receive pictures, charts, spreadsheets, maps, audio, and video with a click of a button. Still, the complexity of managing such electronic data makes the recipient software vulnerable to cyber attack. This situation is unsustainable, DARPA experts claim.[Native Advertisement]
To alleviate these kinds of problems, DARPA wants SafeDocs contractors to help restore trust in electronic documents and messages by mitigating one of the root causes of the Internet insecurity epidemic -- the exploitation of software's input-handling weaknesses by complex, maliciously crafted data inputs.
Today’s risks of allowing software to interact with untrusted electronic documents and messages approach those of downloading and running untrusted programs, experts say.

The SafeDocs program will look for ways of assuring that electronic documents are safe to open. The goal is creating computer systems and networks that are more secure and faster to run and test.
The program’s multi-pronged approach will combine extracting de facto syntax of electronic document formats, and identifying a simple syntax subset to verify programming while preserving the document's look and feel. It also will create software construction kits for building secure and verified parsers, as well as translators for converting formats to this subset.
DARPA researchers want to make these parser construction kits available to industry programmers who understand the syntax of electronic data formats but lack the theoretical background in verified programming. These tools will help guide the syntactic design of new formats by making verification-friendly format syntax easy to express.