Research Engineer
-
Ajou University
- South Korea
-
13:54
(UTC +09:00) - https://jiheonchoi.com
- https://orcid.org/0009-0005-6895-4518
- https://scholar.google.com/citations?user=7oGUxu4AAAAJ
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
2
results
for source starred repositories
written in F#
Clear filter
B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)