Liana Hadarean
Employers on the program
- 2025–2026Amazon Web Services2 talks
Upcoming appearances
Who’s booked ahead? →Event dates shown; only events starting today or later count. 1 upcoming event.
-
AWS re:Invent 2026 – · Las Vegas, United States
- Encoding Authorization in Logic from Puzzles to Production chalk talk Program source ↗
No upcoming appearances are currently recorded.
The year around now
Talks in the past 12 months and announced talks ahead, one row per conference, January to December. Hover a mark for the talk.
Appearances by year
- AWS re:Invent
Talks
| Date | Event | Conference | Role | Title | Links |
|---|---|---|---|---|---|
| Nov 30, 2026 | AWS re:Invent 2026 | AWS re:Invent | chalk talk | Encoding Authorization in Logic from Puzzles to Production as Amazon Web Services Automated theorem provers can reason symbolically about a system's behavior and prove properties like "no user can ever escalate their own privileges" across…Show lessAutomated theorem provers can reason symbolically about a system's behavior and prove properties like "no user can ever escalate their own privileges" across all possible inputs. | |
| Dec 1, 2025 | AWS re:Invent 2025 | AWS re:Invent | chalk talk | Reinforce large policy based authorization systems with Cedar Analysis as Amazon Web Services Cedar is a powerful open source solution for creating large-scale policy-based authorization systems. As policy systems expand, opportunities arise to enhance…Show lessCedar is a powerful open source solution for creating large-scale policy-based authorization systems. As policy systems expand, opportunities arise to enhance traditional testing approaches, addressing nuanced scenarios like Shadowed Permits, Impossible Conditions, Forbid Overrides, and Complete Denials. |
Frequent co-speakers
| Speaker | Shared events | Shared talks | Last together |
|---|---|---|---|
| Jeff Lombardo | 2 | 1 | 2026 |
| Aakash Deshpande | 2 | — | 2026 |
| Aaron Chen | 2 | — | 2026 |
| Aaron Sempf | 2 | — | 2026 |
| Aarthi Raju | 2 | — | 2026 |
| Aarthi Srinivasan | 2 | — | 2026 |
| Abbas Mooraj | 2 | — | 2026 |
| Abdilmajide Ali | 2 | — | 2026 |
| Abdu Mahmoudi | 2 | — | 2026 |
| Abeetha Bala | 2 | — | 2026 |
| Abhijeet Jangam | 2 | — | 2026 |
| Abhishek Jawali | 2 | — | 2026 |
| Abhishek Nanda | 2 | — | 2026 |
| Abhishek Pandey | 2 | — | 2026 |
| Abhishek Sharma | 2 | — | 2026 |
Speakers with the same name are merged into one entry, so this page may combine more than one person. Affiliations are shown as each conference listed them.