To fulfill its mission to prevent technological surprise, DARPA intends to get in front of this issue before military personnel widely rely on MR for their missions. The agency recently launched the Intrinsic Cognitive Security (ICS) program to explore and validate mathematical approaches, known as formal methods, to provide guarantees that MR system designs mitigate potential cognitive attacks.