Folgen
Yu-Fu Fu
Titel
Zitiert von
Zitiert von
Jahr
Signed cryptographic program verification with typed cryptoline
YF Fu, J Liu, X Shi, MH Tsai, BY Wang, BY Yang
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
282019
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver
X Shi, YF Fu, J Liu, MH Tsai, BY Wang, BY Yang
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
102021
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE
MH Tsai, YF Fu, X Shi, J Liu, BY Wang, BY Yang
Cryptology ePrint Archive, 2022
42022
Certified Verification for Algebraic Abstraction
MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang
International Conference on Computer Aided Verification, 329-349, 2023
12023
autofz: Automated Fuzzer Composition at Runtime
YF Fu, J Lee, T Kim
32nd USENIX Security Symposium (USENIX Security 23), 2023
2023
CoqCryptoLine: A Verified Model Checker with Certified Results
MH Tsai, YF Fu, J Liu, X Shi, BY Wang, BY Yang
International Conference on Computer Aided Verification, 227-240, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6