A Cybersecurity Bleg

Paul Rosenzweig
Tuesday, January 10, 2017, 4:45 PM

To bleg: An entry on a blog requesting information or contributions.

I have such a request. I recently came across this article: Trent Moore, DARPA DEVELOPING NEW COMPUTER CODE THAT IS EFFECTIVELY HACK-PROOF.

Meet The Authors

Published by The Lawfare Institute
in Cooperation With
Brookings

Subscribe to Lawfare

To bleg: An entry on a blog requesting information or contributions.

I have such a request. I recently came across this article: Trent Moore, DARPA DEVELOPING NEW COMPUTER CODE THAT IS EFFECTIVELY HACK-PROOF.

This reports an assertion by DARPA that the process of "formal verification" had allowed it to develop code that could not be hacked. Since I had always understood that this was not possible (as opposed to, say, very difficult/expensive to achieve) the report strikes me as very significant -- if true. Anyone out there with cyber-chops willing to share with me thoughts on its accuracy? Send responses to: psrosenzweig@lawfareblog.com. Thanks in advance!

Back to Top
Paul Rosenzweig

Paul Rosenzweig

@RosenzweigP
Read More
Paul Rosenzweig is the founder of Red Branch Consulting PLLC, a homeland security consulting company and a Senior Advisor to The Chertoff Group. Mr. Rosenzweig formerly served as Deputy Assistant Secretary for Policy in the Department of Homeland Security. He is a Professorial Lecturer in Law at George Washington University, a Senior Fellow in the Tech, Law & Security program at American University, and a Board Member of the Journal of National Security Law and Policy.

Subscribe to Lawfare