Yechan Bae

icon indicating an email [email protected]

icon company @theori-io icon location Atlanta, Georgia icon location Security researcher at @theori-io. Previously @sslab-gatech. Interests: Software Security, Program Analysis, Programming Language

Results 21 comments of Yechan Bae

I've fully ported rudra with charon-rudra, all testcases are supported

Thanks for sharing. It's really exciting to meet people who share similar research interests. I'm happy to mention the maintained forks in README. Do you know how Charon-Rudra performs on...