Automated formal verification of secure aggregation protocols

Yuping Yan Zi-Cen Zhao Ming Fei P. Ligeti Yaochu Jin

Aug 2026 · International Conference on Automated Software Engineering · Vol 33 · 0 citations · 49 references

View source