A study of cascading failures in real and synthetic power grid topologies. - Russell Spiewak; Saleh Soltan; Yakir Forman; Sergey V. Buldyrev; Gil Zussman (Netw. Sci., 2018)

A Formalization of Operads in Coq. - Zachary Flores; Angelo Taranto; Eric Bond; Yakir Forman (CoRR, 2023)

Temporal Staging for Correct-by-Construction Cryptographic Hardware. - Yakir Forman; William L. Harrison (RSP, 2024)