Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Jing-Jing Guan

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Sep 2026

A layered formal verification of ChaCha20-Poly1305 in TLS implementations

A layered verification workflow that connects an RFC-level High Spec, implementation-oriented Low Specs, and concrete C implementations of ChaCha20-Poly1305 and proves auxiliary model-consistency lemmas between the RFC-level and implementation-oriented Cryptol models.

Xiang-Dong Li, Hui Li, Jing-Jing Guan et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.