2 papers
cs.CR2021
Checking chordality on homomorphically encrypted graphs
Yang Li
The breakthrough of achieving fully homomorphic encryption sparked enormous studies on where and how to apply homomorphic encryption schemes so that operations can be performed on…
cs.DC2011
A Formal Model of Anonymous Systems
Yang D. Li
We put forward a formal model of anonymous systems. And we concentrate on the anonymous failure detectors in our model. In particular, we give three examples of anonymous failure d…