32 citations · 50 across the 8 of their papers we have counts for
3 papers · 1 filter
Precise Attack Synthesis for Smart Contracts
Yu Feng, Emina Torlak, Rastislav Bodik
Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distribute…
Knowledge Flow Analysis for Security Protocols
Emina Torlak, Marten van Dijk, Blaise Gassend +2
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowl…
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
Marten van Dijk, Emina Torlak, Blaise Gassend +1
We introduce knowledge flow analysis, a simple and flexible formalism for checking cryptographic protocols. Knowledge flows provide a uniform language for expressing the actions of…