News March 2023: Our Paper on security analysis of in-orbit satellites firmware was accepted at IEEE Security and Privacy 2023. February 2023: We have multiple open positions for PhD/Postdocs.