Dan Brownstein, Shlomi Dolev, Niv Gilboa. Functional Encryption for Cascade Automata (Extended Abstract). In Andrzej Pelc, Alexander A. Schwarzmann, editors, Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings. Volume 9212 of Lecture Notes in Computer Science, pages 94-108, Springer, 2015. [doi]