Bridging the Gap: Automated Analysis of Sancus

arXiv:2404.09518v1 Announce Type: new
Abstract: Techniques for verifying or invalidating the security of computer systems have come a long way in recent years. Extremely sophisticated tools are available to specify and formally verify the behavior of a system and, at the same time, attack techniques have evolved to the point of questioning the possibility of obtaining adequate levels of security, especially in critical applications. In a recent paper, Bognar et al. have clearly highlighted this inconsistency between the two worlds: …

analysis arxiv attack attack techniques automated bridging the gap computer cs.cr gap point security system systems techniques tools verify