상세 보기
자료 필터
자료유형
발행연도
2002 ~ 2026
2002 2026
키워드
언어
전체 9건 중 1번부터 9번까지의 결과를 표시합니다.
2026
Article
EVMpress: Precise Type Inference for Next-Generation EVM Decompilation
- Kim, Jung Hyun ;
- Kim, Soomin ;
- Choi, Jaeseung ;
- Cha, Sang Kil
- 2026
- Lecture Notes in Computer Science
- Springer Verlag
2025
Conference
Pave: Information Flow Control for Privacy-preserving Online Data Processing Services
- 2025-04-03
Article
Pave: Information Flow Control for Privacy-preserving Online Data Processing Services
- Park, Minkyung ;
- Choi, Jae seung ;
- Lee, Hyeon min ;
- Kwon, Tae kyoung
- 2025-03-30
- International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
- Association for Computing Machinery
Article
Towards Effective Guidance of Smart Contract Fuzz Testing Based on Static Analysis
- Park, Jeongwon ;
- Choi, Jaeseung
- 2025-02
- Electronics (Basel)
- MDPI AG
2024
2023
Article
DAFL: Directed Grey-box Fuzzing Guided by Data Dependency
- Kim, Tae Eun ;
- Choi, Jaeseung ;
- Heo, Kihong ;
- Cha, Sang Kil
- 2023
- PROCEEDINGS OF THE 32ND USENIX SECURITY SYMPOSIUM
- USENIX ASSOC
2002
Article
A dynamic location update scheme based on the number of movements and the movement history for personal communications networks
- Park, J ;
- Choi, J ;
- Choi, M
- 2002-10
- IEICE Transactions on Communications
- Oxford University Press