1. All your {GPS} are belong to us: Towards stealthy manipulation of road navigation systems;K C Zeng;th USENIX security symposium,2018
2. Depthk: A k-induction verifier based on invariant inference for c programs: (competition contribution;W Rocha;Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference,2017