Periodic Reporting for period 3 - ELVER (Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems)

Computer systems have become critical to modern society, but they are pervasively subject to security flaws and malicious attacks, with large-scale exposures of confidential data, denial-of-service and ransom attacks, and the threat of nation-state attackers: they are trusted...