Jiset: Javascript ir-based semantics extraction toolchain J Park, J Park, S An, S Ryu Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 15 | 2020 |
Static Analysis of JNI Programs via Binary Decompilation J Park, S Lee, J Hong, S Ryu IEEE Transactions on Software Engineering, 2023 | 4 | 2023 |
Semantic Transformation Framework for Rewriting Rules J Park, J Hong, S Ryu Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial …, 2023 | | 2023 |
모나딕 타입으로 Coq 에서 배중률 사용을 안전하게 감싸기 박지희, 류석영 한국정보과학회 학술발표논문집, 1236-1238, 2022 | | 2022 |
요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석 박지희, 류석영 정보과학회 컴퓨팅의 실제 논문지 26 (4), 217-222, 2020 | | 2020 |
요약 해석을 이용한 EVM 바이트코드의 포인터 분석 박지희, 류석영 한국정보과학회 학술발표논문집, 1569-1571, 2019 | | 2019 |
이더리움 바이트코드의 LLVM 중간 언어 변환 방법 박지희, 류석영 한국정보과학회 학술발표논문집, 1919-1921, 2018 | | 2018 |