상세 보기
자료 필터
자료유형
발행연도
2015 ~ 2026
2015 2026
키워드
언어
전체 6건 중 1번부터 6번까지의 결과를 표시합니다.
2026
Article
Checkpointed DeFi Agents With On-Chain Accountability and Early Policy Enforcement
- 2026-07
- IEEE Access
- IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
2025
Article
ErrorExplainer: Automated Extraction of Error Contexts from Smart Contracts
- 2025-05
- APPLIED SCIENCES-BASEL
- MDPI
2024
Article
DPTracer: Integrating Log-Driven Accountability into Data Provision Networks
- 2024-09
- APPLIED SCIENCES-BASEL
- MDPI
2021
Article
Distributed Watchdogs Based on Blockchain for Securing Industrial Internet of Things
- Lee, JongHyup ;
- Kwon, Taekyoung
- 2021-07
- Sensors
- MDPI
2020
Article
Automated Generation of Test Cases for Smart Contract Security Analyzers
- Kim, Ki Byung ;
- Lee, Jonghyup
- 2020-11
- IEEE Access
- Institute of Electrical and Electronics Engineers Inc.
2015
Article
Extractocol: Automatic Extraction of Application-level Protocol Behaviors for Android Applications
- Choi, Hyunwoo ;
- Kim, Jeongmin ;
- Hong, Hyunwook ;
- Kim, Yongdae ;
- Lee, Jonghyup ;
- 외 1명
- 2015-08
- Computer Communication Review
- ASSOC COMPUTING MACHINERY