Jacob Ginesin
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Logic×1
Frequent co-authors
Research Timeline
2026
Automated Channel Fault Analysis with Tofu
The paper introduces Tofu, a generalizable tool that automatically performs rigorous channel fault analysis on distributed protocols, synthesizing attack traces or proving their absence for given LTL specifications.
Highlighted terms show continued research focus across papers