Sign in
Jeffrey Kam
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Edge Preserving
Visual Analysis
Cell Nuclei
Automated Analysis
Top Venues
SMT
IACR Cryptol. ePrint Arch.
CSET @ USENIX Security Symposium
</>
Publications
</>
Fatemeh Heidari Soureshjani
,
Mathias Hall-Andersen
,
MohammadMahdi Jahanara
,
Jeffrey Kam
,
Jan Gorzny
,
Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits.
IACR Cryptol. ePrint Arch.
2023 (2023)
Fatemeh Heidari Soureshjani
,
Mathias Hall-Andersen
,
MohammadMahdi Jahanara
,
Jeffrey Kam
,
Jan Gorzny
,
Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits.
SMT
(2023)
Shay Berkovich
,
Jeffrey Kam
,
Glenn Wurster
UBCIS: Ultimate Benchmark for Container Image Scanning.
CSET @ USENIX Security Symposium
(2020)