Excited for the general-availability launch of Amazon Verified Permissions! It’s an authorization service built around the Cedar policy language I’ve been working on (cedarpolicy.com)z

Whether it’s securing generative #AI services, or enabling a Zero Trust architecture, we are always working to keep our customers’ data safe. CJ Moses & team are showcasing the latest in security at #AWSreInforce, along with announcing the GA of Amazon Verified Permissions.

That’s a wrap! Two talks today on Cedar at Amazon Web Services re:Inforce, one with Emina Torlak, and the other with Emina, Darin McAdams, and Kevin Hakanson. Great questions and feedback! So fun.

Not sure if Twitter is still a thing, but hey, I blogged about verifying MLS, the new secure group messaging standard jonathan.protzenko.fr/2023/06/09/mls…

The state of computer security is like having all of our buildings made of wood but we're celebrating arsonists. andrumyers.wordpress.com/2015/06/17/106/

Tune in to AWS On Air around 1pm PT Friday and learn about Amazon Web Services investment in Open Source security features, and in Cedar in particular! I’ll be there with Dave Nally, and I will give a Cedar demo. The whole thing starts at 12pm PT. aws.amazon.com/developer/comm…

Catch our livestream today on open source security featuring David Nalley and a demo of the Cedar policy language from Mike Hicks w/ AWSonAir at 12:30 p.m. Pacific on Twitch! Bring your Q's and learn about one of our latest #opensource projects. go.aws/3XtZDA9

Catch our livestream today on open source security featuring David Nalley and a demo of the Cedar policy language from Mike Hicks w/ AWSonAir at 12:30 p.m. Pacific on Twitch! Bring your Q's and learn about one of our latest #opensource projects. go.aws/3XtZDA9

It’s likely the Cedar segment will start around 12:30pm PT now. Hope to see some of you there!

Proud of you, Nate Foster ! This is due recognition for your interesting, inspiring, and impactful work.

At a loss for words. Thanks for sharing. These emails only reinforce the feeling that senior decisionmakers are unfair! Senior people: If you want to help, commit to serve your juniors fairly, just as you would have wanted when you were junior. And call out those who don't.

Running @aflplusplus on a new target.

Looking forward to talking about Cedar at this event!

🚀Big outcomes start with a good strategy. Today we welcome Cybersecurity and Infrastructure Security Agency's Cybersecurity Strategic Plan, which includes three pillars: - Goal 1: Address Immediate Threats - Goal 2: Harden the Terrain - Goal 3: Drive Security at Scale Learn more: go.dhs.gov/oop

Blog post on the Amazon Web Services security blog from Emina Torlak on how we designed the Cedar authorization language to be fast, safe, and intuitive to use. aws.amazon.com/blogs/security…

Three great PhDs from my group this year: Drew Zagieboylo "Language-based techniques for building timing channel secure hardware–software systems" Josh Acay, "Provably correct compilation for distributed cryptographic applications" Rolph Recto, "Compilers for secure computation"

Celebrate 50 golden years with Univ. of Maryland's Department of Computer Science! Join us for an eventful anniversary celebration with panel discussions, interactive activities, 50th social and much more. Register now: 50.cs.umd.edu

PL X: What's the best reference for the idea of a singleton type? The earliest I can think of is this Stephanie Weirich paper from 1998, but it refers to singleton type without citation, as if the idea was already firmly part of the lexicon. dl.acm.org/doi/pdf/10.114…

My on-line behavior says I've walked away already, but amplifying Emery Berger to encourage everyone else to do so. Now I have to develop the habit of social media'ing somewhere else! See mhicks.me for coordinates

My Software Security on-line course is now available for free at mhicks.me/software_secur… This course was created in late 2014. It is old enough that I don't feel comfortable charging for it, but still relevant enough to be useful, at least in parts. Enjoy!