29 citations · 37 across the 7 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2021★ 29 cited
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems
Yinbo Yu, Jiajia Liu
Trigger-action programming (TAP) is a popular end-user programming framework that can simplify the Internet of Things (IoT) automation with simple trigger-action rules. However, it…
cs.CR2019
Hiding Communications in AWGN Channels and THz Band with Interference Uncertainty
Zhihong Liu, Jiajia Liu, Yong Zeng +1
Covert communication can prevent an adversary from knowing that a wireless transmission has occurred. In additive white Gaussian noise (AWGN) channels, a square root law is found t…
cs.CR2019★ 1 cited
Challenges in Covert Wireless Communications with Active Warden on AWGN channels
Zhihong Liu, Jiajia Liu, Yong Zeng +3
Covert wireless communication or low probability of detection (LPD) communication that employs the noise or jamming signals as the cover to hide user's information can prevent a wa…