24
Publications
843
Citations
17
H-Index
1994
Active since
Yu‐Fang Chen is an author at Academia Sinica specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationFormal MethodsProgram AnalysisVerificationSoftware AnalysisAutomated ReasoningSoftware TestingTechnology
Publications per year
1994–2023
24
24
Yu‐Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin et al. · 2014 · 46 citations · Full text
Cryptographic Primitive, Curve25519 Software, Engineering +21
Rows per page
1–5 of 24