TechRoots Blog

Cyber Security

Present and Future Landscape of Attack Tolerant Information Systems November 16, 2015

Cybersecurity is difficult to achieve because the current environment favors offensive rather than defensive cyber operations. Because the balance favors offense, it is currently very cheap to do cyber attacks while simultaneously expensive to defend against them. Formal correctness is a part of the security paradigm of security by correctness which when done properly can […]