4 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CR2020★ 1 cited
Practical Verification of MapReduce Computation Integrity via Partial Re-execution
Eunjung Yoon, Peng Liu
Big data processing is often outsourced to powerful, but untrusted cloud service providers that provide agile and scalable computing resources to weaker clients. However, untrusted…
cs.CR2019★ 1 cited
Logic Bugs in IoT Platforms and Systems: A Review
Wei Zhou, Chen Cao, Dongdong Huo +9
In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, th…
cs.CR2016★ 4 cited
Context-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation
Lannan Luo, Qiang Zeng, Chen Cao +7
Android Framework is a layer of software that exists in every Android system managing resources of all Android apps. A vulnerability in Android Framework can lead to severe hacks,…