AWS Security Blog

Tag: Boot code

Daniel Schwartz-Narbonne shares how automated reasoning is helping achieve the provable security of AWS boot code

I recently sat down with Daniel Schwartz-Narbonne, a software development engineer in the Automated Reasoning Group (ARG) at AWS, to learn more about the groundbreaking work his team is doing in cloud security. The team uses automated reasoning, a technology based on mathematical logic, to prove that key components of the cloud are operating as […]

Read More