Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: G

Number of items: 1.

G

Gao, P. and Xie, H. and Song, F. and Chen, Taolue (2021) A hybrid approach to formal verification of higher-order masked arithmetic programs. ACM Transactions on Software Engineering and Methodology 30 (3), 26:1-26:42.

This list was generated on Sat Dec 21 03:20:21 2024 GMT.