List of works - John Kastner - Paulina

List of works by John Kastner

C to checked C by 3c

scientific article published on 29 April 2022

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

scientific article published on 29 April 2024

How We Built Cedar: A Verification-Guided Approach

scientific article published on 10 July 2024

Using Animation to Visualize Spatio-Temporal Varying COVID-19 Data

scientific article published on 24 November 2020

Paulina is supported by:

About Paulina

Help