News

  • (6/2022) Paper “Ksplit: Automating device driver isolation” accepted by OSDI 2022.

  • (12/2021) Paper “Fairness-aware conīŦguration 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”.

  • (8/2021) Papers (one on parsing based on visibly pushdown grammars, and another on detecting cache side channels caused by speculative execution) 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).

  • Older news

Links