Lei Bu -

Registered user since Mon 17 May 2021

Name:Lei Bu

Contributions

APSEC 2022	Committee Member in Program Committee within the Technical Track-track
VMCAI 2022	Author of Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata within the VMCAI 2022-track
ISSTA 2021	Author of Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms within the Technical Papers-track
ISSTA 2020	Committee Member in Program Committee within the TAV-CPS/IoT-track
ISSTA 2019	Author of Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking within the Workshop – TAV-CPS/IoT-track