Announcements

Dec 2022 — Our paper "autoMPI: Automated Multiple Perspective Attack Investigation with Semantics Aware Execution Partitioning" has been accepted to (TSE)

Sept, 2022 — Our paper "Robust Learning against Relational Adversaries" has been accepted to (NeurIPS'22)

June 2022 — Our paper "IoTCOM: Dissecting Interaction Threats in IoT Systems" has been accepted to (TSE)

Feb 2022 — Our paper "Lightweight, Multi-Stage, Compiler-Assisted Application Specialization" has been accepted to (Euro S&P'22)

Jul 2021 — Our tool "Lightweight, Multi-Stage, Compiler-Assisted Application Specialization" has been accepted for Tech Transfer by ONR.

Jul 2021 — Our paper "Practical Data Access Minimization in Trigger-Action Platforms" has been accepted to (USENIX'22)

May 2021 — patent filed "COMPUTER IMPLEMENTED PROGRAM SIMPLIFICATION" https://www.warf.org/technologies/summary/P210211US02/

Feb 2021 — patent filed "A METHOD AND APPARATUS FOR IMPROVED SECURITY IN TRIGGER ACTION PLATFORMS" https://www.warf.org/technologies/summary/P210227US01/

Aug 2020 — Our paper "Comparing formal models of IoT app coordination analysis" has been accepted to (SEAD'20)

Jun 2020 — Our (ISSTA'20) paper received ACM SIGSOFT Distinguished Paper Award

April 2020 — Our paper "Scalable Analysis of Interaction Threats in IoT Systems" (ISSTA'20) paper received ACM SIGSOFT Distinguished Paper Award

Dec 2018 — 04-Dec-2018 02:44:59 Our paper Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code" has been accepted to (INFOCOM'19)

Feb 2018 — 28-May-2018 19:20:41 Our paper "Towards Best Secure Coding Practice for Implementing SSL/TLS" has been accepted to MobiSec 2018 (INFOCOM)

March 2018 — 28-May-2018 19:13:00 Our paper "Efficient Signature Generation for Classifying Cross-Architecture IoT Malware" accepted to IEEE Conference on Communications and Network Security 2018.