Statistics
Publications
1
Citations
28
H-Index
1
Active since
2019
Affiliations
University of Oxford(Current)
Youlim Jung is an author at University of Oxford specializing in formal methods, model checking, and cryptography.
Publications per year
2019–2019
1
1
1–1 of 1