Networked technologies touch every corner of the globe and every facet of human life. They have driven innovation, nurtured freedoms, and spurred economic prosperity. Even so, the very technologies that enable these benefits offer new opportunities for malicious and unwanted cyber activities. Cyber-attacks are continuously growing in size and breadth, targeting …
Read More »Recent Posts
DARPA HACMS employed Formal Verification Methods to develop hack proof unmanned vehicles , weapons , satellites, and command and control systems
In 2011, Iran claimed to have downed a sophisticated American stealth drone, and unveiled what it alleged was a reverse-engineered copy of the futuristic looking RQ-170 Sentinel UAV, produced by defense giant Lockheed Martin. The drone was brought down by the Iranian Armed Forces’ electronic warfare unit which commandeered the …
Read More »DARPA project for cryogenic cables and connectors for quantum computing
Cryogenic electronics is important for a growing number of applications, including superconducting classical computing, superconducting quantum computing and quantum annealing, and superconducting single-photon detector arrays. One of the more difficult aspects about developing a successful superconducting electronics technology at very low temperatures (~10 mK) is the lack of robust commercial …
Read More »