Yakir Forman

According to our database, Yakir Forman authored at least 3 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Temporal Staging for Correct-by-Construction Cryptographic Hardware.

Yakir Forman, William L. Harrison

Proceedings of the International Workshop on Rapid System Prototyping, 2024

2023

A Formalization of Operads in Coq.

Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

CoRR, 2023

2018

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