3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.CR2019
A Tale of Two Trees: One Writes, and Other Reads. Optimized Oblivious Accesses to Large-Scale Blockchains
Duc V. Le, Lizzy Tengana Hurtado, Adil Ahmad +3
The Bitcoin network has offered a new way of securely performing financial transactions over the insecure network. Nevertheless, this ability comes with the cost of storing a large…
cs.CR2019★ 3 cited
SynFuzz: Efficient Concolic Execution via Branch Condition Synthesis
Wookhyun Han, Md Lutfor Rahman, Yuxuan Chen +3
Concolic execution is a powerful program analysis technique for exploring execution paths in a systematic manner. Compare to random-mutation-based fuzzing, concolic execution is es…