Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Structural temporal logic for mechanized program verification., , , and . CoRR, (2024)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)., , , , , , , , , and 5 other author(s). CoRR, (2024)Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs., , , , and . USENIX Security Symposium, USENIX Association, (2024)Extracting and Optimizing Formally Verified Code for Systems Programming., , and . NFM, volume 11460 of Lecture Notes in Computer Science, page 228-236. Springer, (2019)Efficient Representation of Numerical Optimization Problems for SNARKs., , , and . USENIX Security Symposium, page 4273-4290. USENIX Association, (2022)Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization., , , , , , , , , and 5 other author(s). Proc. ACM Program. Lang., 8 (OOPSLA1): 670-697 (2024)New LFN and RTN analysis methodology in 28 and 14nm FD-SOI MOSFETs., , , , , , and . IRPS, page 1. IEEE, (2015)Impact of front-back gate coupling on low frequency noise in 28 nm FDSOI MOSFETs., , , , , , , and . ESSDERC, page 334-337. IEEE, (2012)Statistical analysis of dynamic variability in 28nm FD-SOI MOSFETs., , , , , and . ESSDERC, page 214-217. IEEE, (2014)