189 citations · 342 across the 10 of their papers we have counts for
10 papers
SafePlanner: Testing Safety of the Automated Driving System Plan Model
Dohyun Kim, Sanggu Han, Sangmin Woo +4
In this work, we present SafePlanner, a systematic testing framework for identifying safety-critical flaws in the Plan model of Automated Driving Systems (ADS). SafePlanner targets…
Attack of the Clones: Measuring the Maintainability, Originality and Security of Bitcoin 'Forks' in the Wild
Jusop Choi, Wonseok Choi, William Aiken +5
Since Bitcoin appeared in 2009, over 6,000 different cryptocurrency projects have followed. The cryptocurrency world may be the only technology where a massive number of competitor…
Revisiting Binary Code Similarity Analysis using Interpretable Feature Engineering and Lessons Learned
Dongkwan Kim, Eunsoo Kim, Sang Kil Cha +2
Binary code similarity analysis (BCSA) is widely used for diverse security applications, including plagiarism detection, software license violation detection, and vulnerability dis…
Analysis of LFT2
Geunwoo Lim, Yujin Kwon, Yongdae Kim
For a decentralized and transparent society, blockchain technology has been developed. Along with this, quite a few consensus algorithms that are one of core technologies in blockc…
An Eye for an Eye: Economics of Retaliation in Mining Pools
Yujin Kwon, Hyoungshick Kim, Yung Yi +1
Currently, miners typically join mining pools to solve cryptographic puzzles together, and mining pools are in high competition. This has led to the development of several attack s…
Impossibility of Full Decentralization in Permissionless Blockchains
Yujin Kwon, Jian Liu, Minjeong Kim +2
Bitcoin uses blockchain technology and proof-of-work (PoW) mechanism where nodes spend computing resources and earn rewards in return for spending these resources. This incentive s…
Is Stellar As Secure As You Think?
Minjeong Kim, Yujin Kwon, Yongdae Kim
Stellar is one of the top ten cryptocurrencies in terms of market capitalization. It adopts a variant of Byzantine fault tolerance (BFT), named federated Byzantine agreement (FBA),…
Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash?
Yujin Kwon, Hyoungshick Kim, Jinwoo Shin +1
In Aug. 2017, Bitcoin was split into the original Bitcoin (BTC) and Bitcoin Cash (BCH). Since then, miners have had a choice between BTC and BCH mining because they have compatible…
Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin
Yujin Kwon, Dohyun Kim, Yunmok Son +2
In the Bitcoin system, participants are rewarded for solving cryptographic puzzles. In order to receive more consistent rewards over time, some participants organize mining pools a…
SocialCloud: Using Social Networks for Building Distributed Computing Services
Abedelaziz Mohaisen, Huy Tran, Abhishek Chandra +1
In this paper we investigate a new computing paradigm, called SocialCloud, in which computing nodes are governed by social ties driven from a bootstrapping trust-possessing social…