Get started
Author

Shicheng Feng

Observed name: Feng, Shicheng
Institution: Tianjin University
Observed institution: Tianjin University
OpenAlex ID: A5153462034
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
2026 · Liu, Tianjian, Feng, Shicheng, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type