Skip to content
@purs3lab

purs3lab

README.md

Hi there 👋

We are PurS3 Lab!

The goal of Purdue Systems and Software Security Lab (PurS3) is to secure modern systems by providing principled yet practical solutions to various security problems.

We work on all kinds of systems, including Mobile, IoT, TrustZone, etc. Our research spans various areas such as Vulnerability detection and Mitigating, Secure system development, Hardware Security, Type-safe languages, Software Diversity, and, Rehosting, to name a few.

Our home is Purdue University, one of the leaders in security research and education.

Visit our website - https://purs3lab.github.io/ to learn more about us.

Popular repositories Loading

  1. Argus Argus Public

    Python 44 11

  2. linux-playground linux-playground Public

    Linux kernel playground

    C 4 4

  3. LLMs4GitHubWorkflows LLMs4GitHubWorkflows Public

    Python 3

  4. ee469_examples ee469_examples Public

    All examples related to ee469

    C 2

  5. HandlERR HandlERR Public

    Forked from correctcomputation/checkedc-clang

    This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is…

    2 3

  6. Argus_website Argus_website Public

    Website for our Usenix'23 paper - ARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions

    HTML 2

Repositories

Showing 10 of 65 repositories
  • ee469 Public

    Operating Systems Engineering.

    Pascal 1 MIT 5 0 0 Updated Mar 7, 2025
  • nostdbuild Public Forked from GraysonNocera/r-build

    Automatically compling Rust crate for Nostd.

    Rust 0 1 0 0 Updated Mar 6, 2025
  • ArduSVF Public

    Modified version of PurSecLab's SVF for ArduPilot risky component analysis

    C++ 0 0 0 0 Updated Feb 18, 2025
  • ee469_examples Public

    All examples related to ee469

    C 2 0 0 0 Updated Feb 17, 2025
  • purs3lab.github.io Public Forked from mpa139/allanlab

    Purdue Systems and Software Security Lab

    SCSS 0 1,219 0 0 Updated Feb 9, 2025
  • linux-playground Public

    Linux kernel playground

    C 4 4 0 0 Updated Feb 4, 2025
  • simcrat Public Forked from kaist-plrg/simcrat

    Signature-Modernizing C-to-Rust Automatic Translator

    Rust 0 MIT 5 0 0 Updated Jan 10, 2025
  • crown Public Forked from KomaEc/crown

    Ownership analysis that helps translating C to Rust

    Rust 0 5 0 0 Updated Jan 1, 2025
  • vanir Public Forked from google/vanir

    Vanir is a source code-based static analysis tool that automatically identifies the list of missing security patches in the target system. By default, Vanir pulls up-to-date CVEs from Open Source Vulnerabilities (OSV) together with their corresponding signatures so that users can transparently scan missing patches for an up-to-date list of CVEs.

    Python 0 BSD-3-Clause 26 0 0 Updated Dec 24, 2024
  • LLMs4GitHubWorkflows Public
    Python 3 BSD-2-Clause 0 0 0 Updated Dec 2, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…