Neha Rungta
where else to find them
bluesky:neharungta.bsky.social
what they talk about
where they keep going back
- AWS re:Inforce2 editions2023–2024
on a stage with
- Aaron Elineonce
- Abhishek Pandayonce
- Amit Goelonce
all 22 in the filters
who talks about the same things
- Joseph W. Cutler7 talks
- Matt McCutchen4 talks
- Craig Disselkoen4 talks
- Michael Hicks18 talks
- Kesha Hietala7 talks
- Raz Cohen2 talks
| title | conference | date |
|---|---|---|
| Automatically Reducing Privilege for Access Control Policies | OOPSLA 2024 | 2024-10-20 |
Tool named IAM-PolicyRefiner synthesizes tighter AWS IAM policies from three months of real access logs, removing on average 77% of allowed actions and 88% of… | ||
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization | OOPSLA 2024 | 2024-10-20 |
Cedar defines a concise DSL, a Rust evaluation engine, and a Lean formal model that proves key properties; policies compile into SMT in the sound and complete… | ||
| Provably secure authorization | AWS re:Inforce 2024 | 2024-06-10 |
AWS applies automated reasoning to prove access-control properties end to end, building a proven-correct IAM engine (specs in Dafny, proofs in Lean… | ||
| Fine-grained authorization for apps with Amazon Verified Permissions | AWS re:Inforce 2023 | 2023-06-13 |
Amazon Verified Permissions offers a hosted authorization service using the Cedar policy language and a policy store model; 500 customers requested preview… | ||
| nothing matches | ||