共 50 条
- [25] NEURAL NETWORKS AND THEIR APPLICATIONS REVIEW OF SCIENTIFIC INSTRUMENTS, 1994, 65 (06): : 1803 - 1832
- [26] Automating Cryptographic Code Generation PROCEEDINGS OF THE 2022 WORKSHOP ON ATTACKS AND SOLUTIONS IN HARDWARE SECURITY, ASHES 2022, 2022, : 3 - 3
- [27] Verified Cryptographic Code for Everybody COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 645 - 668
- [29] Cryptographic security for mobile code 2001 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2001, : 2 - 11