Youlim Jung

YJ

Statistics

Publications

1

Citations

28

H-Index

1

Active since

2019

Affiliations

Youlim Jung is an author at University of Oxford specializing in formal methods, model checking, and cryptography.

Publications per year

2019–2019

1

Publications

1