Automated Reasoning at AWS, and Applications in Cryptography

Add to your list(s) Download to your calendar using vCal

• Rod Chapman, Senior Principal Applied Scientist at AWS
• Wednesday 20 November 2024, 11:00-12:00
• SS03, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Prof Simon Moore.

Note unusual time

This talk will start with an overview of the uses of Automated Reasoning (AR) at AWS , with an emphasis on the technical and business drivers that have made for some notable successes within the business. I’d then like to turn to more specific challenges of developing and verifying cryptographic software and how AR applies in that domain.

This talk is part of the Computer Laboratory Computer Architecture Group Meeting series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Computer Architecture Group Meeting
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• SS03, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31

Note that ex-directory lists are not shown.