18 citations · 18 across the 1 of their papers we have counts for
2 papers
cs.CR2021★ 18 cited
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein, Andres Meza, Francesco Restuccia +2
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a…
cs.CR2016
Server-side verification of client behavior in cryptographic protocols
Andrew Chi, Robert Cochran, Marie Nesfield +2
Numerous exploits of client-server protocols and applications involve modifying clients to behave in ways that untampered clients would not, such as crafting malicious packets. In…