Cited By
View all- Zhao QPîrlea GGrzeszkiewicz KGilbert SSergey ILuo BLiao XXu JKirda ELie D(2024)Compositional Verification of Composite Byzantine ProtocolsProceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security10.1145/3658644.3690355(34-48)Online publication date: 2-Dec-2024