Search filters

List of works by Kesha Hietala

A Verified Optimizer for Quantum Circuits

scientific article published on 12 July 2023

A verified optimizer for Quantum circuits

scientific article published on 04 January 2021

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

Verified compilation of Quantum oracles

scientific article published on 31 October 2022

Paulina is supported by:

About Paulina

Help