Name: AWS User Group Bristol - Security Special
Start: 2025-07-09T17:30:00+01:00
End: 2025-07-09T20:30:00+01:00
Location: Hargreaves Lansdown

**Agenda:**
**17:30 -** Doors open and refreshments
**18:00 -** Security Talks:
#1 re:Inforce re:Cap - Jessie McDonald, AWS Snr. Solutions Architect
#2 Securing GenAI apps - Omorinsola Goriola, AWS TAM
#3 Automated Reasoning & Cryptography - Rod Chapman, Senior Principal Applied Scientist, AWS Cryptography
**20:00 -** Beer/Pizza & Networking
**20:30 -** Close

Matt Wells

Adam P

AWS User Group Bristol

Global AWS User Group Community

Proud sponsor of the AWS User Group Bristol

Innovecom

Technology

New Technology

Cloud Computing

Technology Professionals

DevOps

Software Development

Amazon Web Services

Big Data

Senior Principal Applied Scientist, AWS Cryptography

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

Rod Chapman

AWS User Group Bristol - Security Special

Hargreaves Lansdown

Share this event

AWS User Group Bristol - Security Special

Details

Sponsors

Innovecom

Sponsors

Innovecom