From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 149-171. Springer, (2021)Certified Verification for Algebraic Abstraction., , , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 329-349. Springer, (2023)Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE., , , , , и . IACR Cryptol. ePrint Arch., (2022)CoqCryptoLine: A Verified Model Checker with Certified Results., , , , , и . CAV (2), том 13965 из Lecture Notes in Computer Science, стр. 227-240. Springer, (2023)autofz: Automated Fuzzer Composition at Runtime., , и . USENIX Security Symposium, стр. 1901-1918. USENIX Association, (2023)Signed Cryptographic Program Verification with Typed CryptoLine., , , , , и . CCS, стр. 1591-1606. ACM, (2019)A novel text mining approach for scholar information extraction from web content in Chinese., , , , и . Future Gener. Comput. Syst., (2020)Functional activity of the caudate mediates the relation between early childhood microstructural variations and elevated metabolic syndrome scores., , , , , , , , , и 6 other автор(ы). NeuroImage, (сентября 2023)RegKey: A Register-based Implementation of ECC Signature Algorithms Against One-shot Memory Disclosure., , , , , и . ACM Trans. Embed. Comput. Syst., 22 (6): 97:1-97:22 (ноября 2023)Using kerberized lustre over the WAN for high energy physics data., , , , , , , , , и 6 other автор(ы). XSEDE, стр. 12:1-12:7. ACM, (2012)