purs3lab

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 repositoriesLoading

ArgusArgusPublic
Python 44 11
linux-playgroundlinux-playgroundPublic
Linux kernel playground
C 4 4
LLMs4GitHubWorkflowsLLMs4GitHubWorkflowsPublic
Python 3
ee469_examplesee469_examplesPublic
All examples related to ee469
C 2
HandlERRHandlERRPublic
Forked fromcorrectcomputation/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
Argus_websiteArgus_websitePublic
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.
purs3lab/ee469’s past year of commit activity
Pascal 1MIT 5 0 0 UpdatedApr 1, 2025
nostdbuild Public Forked fromGraysonNocera/r-build
Automatically compling Rust crate for Nostd.
purs3lab/nostdbuild’s past year of commit activity
Rust0 1 0 0 UpdatedMar 31, 2025
ArduSVF Public
Modified version of PurSecLab's SVF for ArduPilot risky component analysis
purs3lab/ArduSVF’s past year of commit activity
C++00 0 0 UpdatedFeb 18, 2025
ee469_examples Public
All examples related to ee469
purs3lab/ee469_examples’s past year of commit activity
C 20 0 0 UpdatedFeb 17, 2025
purs3lab.github.io Public Forked frommpa139/allanlab
Purdue Systems and Software Security Lab
purs3lab/purs3lab.github.io’s past year of commit activity
SCSS0 1,233 0 0 UpdatedFeb 9, 2025
linux-playground Public
Linux kernel playground
purs3lab/linux-playground’s past year of commit activity
C 4 4 0 0 UpdatedFeb 4, 2025
simcrat Public Forked fromkaist-plrg/simcrat
Signature-Modernizing C-to-Rust Automatic Translator
purs3lab/simcrat’s past year of commit activity
Rust0MIT 5 0 0 UpdatedJan 10, 2025
crown Public Forked fromKomaEc/crown
Ownership analysis that helps translating C to Rust
purs3lab/crown’s past year of commit activity
Rust0 5 0 0 UpdatedJan 1, 2025
vanir Public Forked fromgoogle/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.
purs3lab/vanir’s past year of commit activity
Python0BSD-3-Clause 27 0 0 UpdatedDec 24, 2024
LLMs4GitHubWorkflows Public
purs3lab/LLMs4GitHubWorkflows’s past year of commit activity
Python 3BSD-2-Clause0 0 0 UpdatedDec 2, 2024