Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. - Fan Yang 090; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Paliath Narendran (PPDP, 2014)

Strand spaces with choice via a process algebra semantics. - Fan Yang 090; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Sonia Santiago (PPDP, 2016)

Modular Verification of Sequential Composition for Private Channels in Maude-NPA. - Fan Yang 090; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (STM, 2018)

Strand Spaces with Choice via a Process Algebra Semantics. - Fan Yang 090; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001 (CoRR, 2019)

Extending the language and applications of Maude-NPA through rewriting semantics - Fan Yang 090 (2019)