Aug 2026
Automated formal verification of secure aggregation protocols
Yuping Yan, Zi-Cen Zhao, Ming Fei et al.
· International Conference on... · 0 citations
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Jul 2026
Enhancing spiking transformers with temporal feedback coding and global-local dynamic neurons.
This work introduces a Temporal Feedback Coding (TFC) scheme that leverages feedback at the encoding stage to diversify spike patterns and designs a Global-Local Dynamic LIF (GLD-LIF) neuron that enhances cross-step dependency modeling by integrating local aggregation and global initialization.
Zeqi Zheng, Zizheng Zhu, Yingchao Yu et al.
· Neural Networks · 0 citations