On Chosen Ciphertext Security of Multiple Encryptions. - Oded Goldreich 001; Yoad Lustig; Moni Naor (IACR Cryptol. ePrint Arch., 2002)

Reasoning with Temporal Logic on Truncated Paths. - Cindy Eisner; Dana Fisman; John Havlicek; Yoad Lustig; Anthony McIsaac; David Van Campenhout (CAV, 2003)

Supporting SAT based BMC on Finite Path Models. - Daniel Geist; Mark Ginzburg; Yoad Lustig; Ishai Rabinovitz; Ohad Shacham; Rachel Tzoref (BMC@CAV, 2005)

On Locally Checkable Properties. - Orna Kupferman; Yoad Lustig; Moshe Y. Vardi (LPAR, 2006)

What Triggers a Behavior? - Orna Kupferman; Yoad Lustig (FMCAD, 2007)

Lattice Automata. - Orna Kupferman; Yoad Lustig (VMCAI, 2007)

On Verifying Fault Tolerance of Distributed Protocols. - Dana Fisman; Orna Kupferman; Yoad Lustig (TACAS, 2008)

Multi-valued Logics, Automata, Simulations, and Games. - Orna Kupferman; Yoad Lustig (VMCAI, 2008)

Reasoning about lattice-based multi-valued systems (שיטות היסק למערכות מרובות ערכים המבוססות על שריגים.). - Yoad Lustig (2008)

Rational Synthesis. - Dana Fisman; Orna Kupferman; Yoad Lustig (TACAS, 2010)

Latticed Simulation Relations and Games. - Orna Kupferman; Yoad Lustig (Int. J. Found. Comput. Sci., 2010)

Temporal Synthesis for Bounded Systems and Environments. - Orna Kupferman; Yoad Lustig; Moshe Y. Vardi; Mihalis Yannakakis (STACS, 2011)

Synthesis from Recursive-Components Libraries - Yoad Lustig; Moshe Y. Vardi (GandALF, 2011)

Synthesis from component libraries. - Yoad Lustig; Moshe Y. Vardi (Int. J. Softw. Tools Technol. Transf., 2013)

Synthesis from Probabilistic Components. - Sumit Nain; Yoad Lustig; Moshe Y. Vardi (Log. Methods Comput. Sci., 2014)

A Modular Approach for Büchi Determinization. - Dana Fisman; Yoad Lustig (CONCUR, 2015)