News
-
(4/2023) NSF project “Detecting and Localizing Non-Functional Vulnerabilities in Machine Learning Libraries” funded; with Saeid Tizpaz-Niari.
-
(3/2023) We are glad to open source our implementation of BPA for our NDSS 2021 paper “Refining indirect call targets at the binary level”.
-
(12/2022) Paper “Information-theoretic testing and debugging of fairness defects in deep neural networks” accepted by ICSE 2023.
-
(6/2022) Paper “Ksplit: Automating device driver isolation” accepted by OSDI 2022. (Open source access; PSU news release)
-
(12/2021) Paper “Fairness-aware configuration of machine learning libraries” accepted by ICSE 2022.
-
(12/2021) Congratulations to Dongrui, who finished his PhD with thesis “Evaluating the Attack Surface of Control Flow Integrity”.
-
(12/2021) Paper “The taming of the stack: Isolating stack data from memory errors” accepted by NDSS 2022.
-
(8/2021) Papers (“A derivative-based parser generator for visibly pushdown grammars” and “SpecSafe: Detecting cache side channels in a speculative world”) accepted to OOPSLA 2021.
-
(5/2021) Congratulations to Robert, who finished his PhD with thesis “Detecting and Mitigating Cache-based Side-Channels”.
-
(6/2021) We are glad to release an upgrade of our Program-Dependence Graph (PDG) construction module to LLVM 10.0.
-
(12/2020) Paper “Refining Indirect Call Targets at the Binary Level” accepted by NDSS 2021.
-
(7/2020) Joining DARPA’s ISAT study group (news release).
-
(4/2020) Congratulations to Shen, who finished his PhD with thesis “Quantitative Privilege Separation with Pointer Supports”.
-
(3/2020) VEE best paper award for paper “Lightweight Kernel Isolation with Virtualization and VM Functions”; in collaboration with Vikram Narayanan and Anton Burtsev (UC Irvine) and Trent Jaeger.
-
(10/2019) Keynote talk at IoT S&P workshop [slides].
-
(10/2019) We are glad to release an upgrade of our Program-Dependence Graph (PDG) construction module to LLVM 9.0.
-
(9/2019) Darpa project “Secure Handling of Isolated Executables without Leaking Data (SHIELD)” funded; subcontractor to Perspecta Labs.
-
(8/2019) Paper “Program-mandering: Quantitative Privilege Separation” accepted by 2019 ACM Computer and Communications Security (CCS).
-
(8/2019) NSF project “Automated IoT Safety and Security Analysis and Synthesis” funded; with Patrick McDaniel.
-
(6/2019) Darpa project “SPARTA:the Secure Parser Toolkit for Assurance” funded; subcontractor to Galois Inc. [Penn State news release].
-
(5/2019) We are glad to release the source code of an LLVM 5.0 module for Program-Dependence Graph (PDG) construction.
-
(1/2019) Paper “Using Safety Properties to Generate Vulnerability Patches” accepted by 2019 IEEE Symposium on Security and Privacy (Oakland).