15 citations · 24 across the 3 of their papers we have counts for
3 papers
A Generalized Carpenter's Rule Theorem for Self-Touching Linkages
Timothy G. Abbott, Erik D. Demaine, Blaise Gassend
The Carpenter's Rule Theorem states that any chain linkage in the plane can be folded continuously between any two configurations while preserving the bar lengths and without the b…
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…