Zhengzhong Jin is an author at Johns Hopkins University specializing in cryptography, formal verification, and engineering.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsComputer ScienceFormal VerificationBlockchainData ScienceVerificationCoding Theory
Publications per year
2016–2023
6
6
Gabrielle Beck, Aarushi Goel, Aditya Hegde et al. · 2023 · 11 citations · Full text
Deterministic Document Exchange Protocols and Almost Optimal Binary Codes for Edit Errors
Kuan Cheng, Zhengzhong Jin, Xin Li et al. · Journal of the ACM · 2022 · 10 citations
Rows per page
1–5 of 6