UBCIS: Ultimate Benchmark for Container Image Scanning. - Shay Berkovich; Jeffrey Kam; Glenn Wurster (CSET @ USENIX Security Symposium, 2020)

Automated Analysis of Halo2 Circuits. - Fatemeh Heidari Soureshjani; Mathias Hall-Andersen; MohammadMahdi Jahanara; Jeffrey Kam; Jan Gorzny; Mohsen Ahmadvand (IACR Cryptol. ePrint Arch., 2023)

Reconfiguration of Multisets with Applications to Bin Packing. - Jeffrey Kam; Shahin Kamali; Avery Miller; Naomi Nishimura (WALCOM, 2024)