共 50 条
- [42] High-assurance field inversion for curve-based cryptography 2023 IEEE 36TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, CSF, 2023, : 552 - 567
- [44] Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (280): : 61 - 76
- [46] Experiment for high-assurance video conference system over the Internet 7TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2002, : 137 - 142
- [48] Software quality prediction for high-assurance network telecommunications systems COMPUTER JOURNAL, 2001, 44 (06): : 557 - 568
- [49] RefinedRust: A Type System for High-Assurance Verification of Rust Programs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI): : 1115 - 1139
- [50] Increased information flow needs for high-assurance composite evaluations SECOND IEEE INTERNATIONAL INFORMATION ASSURANCE WORKSHOP, PROCEEDINGS, 2004, : 129 - 140