111 citations · 409 across the 43 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.CR2022★ 1 cited
VerifyML: Obliviously Checking Model Fairness Resilient to Malicious Model Holder
Guowen Xu, Xingshuo Han, Gelei Deng +5
In this paper, we present VerifyML, the first secure inference framework to check the fairness degree of a given Machine learning (ML) model. VerifyML is generic and is immune to a…
cs.CR2022★ 3 cited
SoK: Rethinking Sensor Spoofing Attacks against Robotic Vehicles from a Systematic View
Yuan Xu, Xingshuo Han, Gelei Deng +3
Robotic Vehicles (RVs) have gained great popularity over the past few years. Meanwhile, they are also demonstrated to be vulnerable to sensor spoofing attacks. Although a wealth of…
cs.SE2022★ 8 cited
Morest: Model-based RESTful API Testing with Execution Feedback
Yi Liu, Yuekang Li, Gelei Deng +6
RESTful APIs are arguably the most popular endpoints for accessing Web services. Blackbox testing is one of the emerging techniques for ensuring the reliability of RESTful APIs. Th…