机构作者
Choi, Seong Seok
文献数量：3
Jang, Ju Wook
文献数量：9
Kang, Eung Seon
文献数量：6
Kim, Bo Youn
文献数量：3
Kim, Sungwook
文献数量：1
Park, Soojin
文献数量：3
Pee, Seung Jae
文献数量：3
Shin, Hyeon Woo
文献数量：3
So, Jaewoo
文献数量：1
Song, Jae Geun
文献数量：6
机构文献
Formal Specification Technique in Smart Contract Verification[C]
2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON)
Blockchain based smart energy trading platform using smart contract[C]
2019 1ST INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE IN INFORMATION AND COMMUNICATION (ICAIIC 2019)
A New Attack Scheme on the Bitcoin Reward System[J]
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
Data Managing and Service Exchanging on IoT Service Platform Based on Blockchain with Smart Contract and Spatial Data Processing[C]
PROCEEDINGS OF THE 2018 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND SYSTEM (ICISS 2018)