30: Formally verified cloud-scale authorization

AWSがDafnyという言語を用いてIAMの仕様検証と実装の置き換えを行った件について、解説論文をネタに雑談しています。後半は次期Pythonで実装されると思われるt-stringという新しいリテラル表記について話しました。 Formally verified cloud-scale authorization - Amazon Science AWS re:Inforce 2024 - Proving the correctness of AWS authorization (IAM401) 以前紹介した記事 An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog PEP 750 – Template Strings Chapters: (00:00) Opening (03:28) Formally verified cloud-scale authorization 論文の概要 (12:28) Dafny言語 (19:10) shadowテスト (25:15) PEP 750 Template String

Episode metadata supplied by the publisher feed · Published Apr 26, 2025

Embed this episode

Attribution link and audio player

NOW PLAYING

30: Formally verified cloud-scale authorization

0:00 34:55

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of イチゼロエフエム?

This episode is 34 minutes long.

When was this イチゼロエフエム episode published?

This episode was published on April 26, 2025.

Can I download this イチゼロエフエム episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!