Really exciting to see this and the recent renewed interest in more expressive ACL systems re: policy and (alternatively) relational access control. The pedigr

Really exciting to see this and the recent renewed interest in more expressive ACL systems re: policy and (alternatively) relational access control. The pedigree of Cedar is also really interesting to me, coming from the angle that Torlak was previously part of the UNSAT group @ Washington, and was the developer of Rosette. I was hoping there might be a semantic description of Cedar using Rosette as well! Maybe writing one would be a good challenge...