Skip to content

@cispa CISPA

Change the repository type filter

All

    Repositories list

    72 repositories

    • Northcape

      Public
      Implementation of the Northcape capability architecture in hardware (Bredi SoC) as well as its associated operating system (Skadi OS).
      C
      •0•0•0•0•Updated Jul 20, 2026Jul 20, 2026

    • xs-observations

      Public
      Code for our 2023 IEEE S&P Paper "The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web"
      Jupyter Notebook
      •
      MIT License
      •2•16•0•0•Updated Jul 16, 2026Jul 16, 2026

    • login-security-landscape

      Public
      Code for our 2024 IEEE S&P Paper "To Auth or Not To Auth? A Comparative Analysis of the Pre- and Post-Login Security Landscape"
      TypeScript
      •
      MIT License
      •4•13•2•0•Updated Jul 16, 2026Jul 16, 2026

    • http-conformance

      Public
      Code for our 2024 ACM AsiaCCS Paper "Who's Breaking the Rules? Studying Conformance to the HTTP Specifications and its Security Impact"
      Python
      •
      MIT License
      •2•18•2•0•Updated Jul 16, 2026Jul 16, 2026

    • Fontention

      Public
      C
      •0•0•0•0•Updated Jun 15, 2026Jun 15, 2026

    • leakylinks

      Public
      Open-source artifact for our 2026 IEEE S&P Paper "LeakyLinks: Measuring the Security and Privacy Risks of URL Scanning Services"
      Python
      •
      MIT License
      •0•8•0•0•Updated Jun 10, 2026Jun 10, 2026

    • VDPCollect

      Public
      Jupyter Notebook
      •
      MIT License
      •1•0•0•0•Updated May 23, 2026May 23, 2026

    • Crucible

      Public
      C
      •1•3•0•0•Updated Apr 29, 2026Apr 29, 2026

    • TACO

      Public
      TACO Model Checker for Threshold Automata
      distributed-systemsconsensusverification
      distributed-systemsconsensusverificationmodel-checkingbyzantine-fault-tolerance
      Rust
      •
      Apache License 2.0
      •2•6•0•0•Updated Apr 22, 2026Apr 22, 2026

    • trevex

      Public
      Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)
      C
      •
      MIT License
      •3•35•0•0•Updated Apr 17, 2026Apr 17, 2026

    • RISCy-cache-coherence

      Public
      Artifact for the paper "RISCy Cache Coherence: Timer-Free Architectural Cache Attacks via Instruction/Data Cache Incoherence".
      C
      •
      MIT License
      •1•7•0•0•Updated Apr 13, 2026Apr 13, 2026

    • scase

      Public
      Automated Framework for recovering Secrets from Side-Channel Traces. (USENIX Security '25)
      C
      •2•14•0•0•Updated Apr 12, 2026Apr 12, 2026

    • LLCSliceReversing

      Public
      Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"
      C
      •4•20•0•0•Updated Apr 3, 2026Apr 3, 2026

    • RISCover-artifacts

      Public
      Artifact for the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs".
      Verilog
      •
      MIT License
      •0•10•0•0•Updated Mar 16, 2026Mar 16, 2026

    • InstrSem

      Public
      Python
      •1•8•0•0•Updated Mar 9, 2026Mar 9, 2026

    • RISCover

      Public
      Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RIS…
      Python
      •
      MIT License
      •3•26•0•0•Updated Mar 1, 2026Mar 1, 2026

    • StackWarp

      Public
      Proof-of-concept for the paper "StackWarp: Breaking AMD SEV-SNP Integrity via Deterministic Stack-Pointer Manipulation through the CPU’s Stack Engine" (USENIX S…
      C
      •
      MIT License
      •5•99•0•0•Updated Jan 30, 2026Jan 30, 2026

    • codeseal

      Public
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • CVA6-Vivado-Project-with-Xilinx-AXI-Ethernet

      Public
      Vivado 2023.2 project built around the CVA6 RISC-V CPU and a software stack including u-boot and embedded linux.
      Tcl
      •0•14•0•0•Updated Jan 7, 2026Jan 7, 2026

    • cva6

      Public
      The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
      Assembly
      •
      Other
      •999•0•0•0•Updated Jan 7, 2026Jan 7, 2026

    • cva6-sdk

      Public
      CVA6 SDK containing RISC-V tools and Buildroot
      Makefile
      •100•0•0•0•Updated Jan 6, 2026Jan 6, 2026

    • Security-RISC

      Public
      Proof-of-concept implementation for the paper "A Security RISC: Microarchitectural Attacks on Hardware RISC-V CPUs" (IEEE S&P 2023)
      C
      •
      MIT License
      •12•89•1•0•Updated Nov 10, 2025Nov 10, 2025

    • ExfilState

      Public
      Architectural cache side channel fuzzer from the research paper "ExfilState: Automated Discovery of Timer-Free Cache Side Channels on ARM CPUs".
      C
      •
      MIT License
      •0•8•0•0•Updated Oct 14, 2025Oct 14, 2025

    • ExfilState-artifacts

      Public
      Artifact for the paper "ExfilState: Automated Discovery of Timer-Free Cache Side Channels on ARM CPUs".
      C
      •
      MIT License
      •1•7•0•0•Updated Oct 12, 2025Oct 12, 2025

    • StyleMail

      Public
      CSS
      •0•3•0•0•Updated Sep 26, 2025Sep 26, 2025

    • security-header-parsing

      Public
      Code for our 2025 ACM CCS Paper "Head(er)s Up! Detecting Security Header Inconsistencies in Browsers"
      Python
      •
      Other
      •0•3•0•0•Updated Sep 16, 2025Sep 16, 2025

    • hammulator

      Public
      Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)
      C
      •
      MIT License
      •2•19•0•0•Updated Sep 15, 2025Sep 15, 2025

    • scase-traces

      Public
      C
      •0•0•0•0•Updated Aug 7, 2025Aug 7, 2025

    • constant-time-compilers

      Public
      C
      •0•5•0•0•Updated Jul 4, 2025Jul 4, 2025

    • ansible-role-proxmox

      Public
      IaC for Proxmox VE clusters.
      Python
      •
      MIT License
      •180•1•0•0•Updated Jun 5, 2025Jun 5, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.