Theories of Homomorphic Encryption, Unification, and the Finite Variant Property.

Fan Yang, Santiago Escobar, Catherine Meadows, Jos Meseguer, Paliath Narendran

Browse the full PPDP paper archive.