Day 2 - July 9, 2025
Keynote 2 - Cedar: A New Language for Expressive, Fast, Safe, and Analyzable
Authorization
09:00 AM - 10:00 AM
Speaker: John Kastner (Amazon Web Services)
Break (Coffee and Refreshments)
10:00 AM - 10:20 AM
Paper Session 4: Analysis of Access Control Systems
10:20 AM - 11:45 AM
-
Safety Analysis in the NGAC Model
Regular
Brian Tan, Ewan Davies, Indrakshi Ray, Mahmoud Abdelgawad (Colorado State University)
-
ProfessorX: Detecting Silent Vulnerabilities in Policy Engine Implementations
Regular
Ben Weintraub, Chanyuan Liu (Northeastern University); William Enck (North Carolina State University);
Cristina Nita-Rotaru (Northeastern University)
-
ABAC Lab: An Interactive Platform for Attribute-based Access Control Policy Analysis, Tools, and
Datasets
Dataset/Tool
Thang Bui, Anthony Matricia, Emily Contreras, Ryan Mauvais, Luis Medina, Israel Serrano (California State
University, Monterey Bay)
Session Chair: TBD
Lunch Break (Provided by Conference)
11:45 AM - 01:30 PM
Special Session
01:30 PM - 02:30 PM
Break (Coffee and Refreshments)
02:30 PM - 02:50 PM
Paper Session 5: Policy Specification and Privacy
02:50 PM - 04:15 PM
-
Towards Explainable Access Control
BlueSky
Gelareh Hasel Mehri (Eindhoven University of Technology); Charles Morisset (Durham University); Nicola
Zannone (Eindhoven University of Technology)
-
A Policy-Based Mitigation of Transaction Exclusion in Ethereum
Work-in-Progress
Patrick Spiesberger, Jan Droll, Hannes Hartenstein (Karlsruhe Institute of Technology (KIT))
-
Leakage-Resilient Easily Deployable and Efficiently Searchable Encryption (EDESE)
Regular
Jiaming Yuan, Yingjiu Li (University of Oregon); Yangguang Tian (University of Surrey); Daoyuan Wu (The
Hong Kong University of Science and Technology); Jianting Ning (Wuhan University); Robert H. Deng (School
of Computing & Information Systems, Singapore Management University, Singapore); Jun Li (University of
Oregon)
Session Chair: TBD
Excursion
05:15 PM - 07:00 PM
Banquet Dinner
07:00 PM - 09:00 PM