Skip to content

@cispa CISPA

Change the repository type filter

All

    Repositories list

    68 repositories

    • TACO

      Public
      TACO Model Checker for Threshold Automata
      distributed-systemsconsensusverification
      distributed-systemsconsensusverificationmodel-checkingbyzantine-fault-tolerance
      Rust
      •
      Apache License 2.0
      •1•4•0•0•Updated Apr 2, 2026Apr 2, 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•5•0•0•Updated Mar 31, 2026Mar 31, 2026

    • riscy_caches

      Public
      Artifact for the paper "RISCy Cache Coherence: Timer-Free Architectural Cache Attacks via Instruction/Data Cache Incoherence".
      C
      •
      MIT License
      •0•2•0•0•Updated Mar 20, 2026Mar 20, 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•9•0•0•Updated Mar 16, 2026Mar 16, 2026

    • VDPCollect

      Public
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Mar 16, 2026Mar 16, 2026

    • InstrSem

      Public
      Python
      •0•4•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
      •2•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•95•0•0•Updated Jan 30, 2026Jan 30, 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•11•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
      •924•0•0•0•Updated Jan 7, 2026Jan 7, 2026

    • cva6-sdk

      Public
      CVA6 SDK containing RISC-V tools and Buildroot
      Makefile
      •93•0•0•0•Updated Jan 6, 2026Jan 6, 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•17•2•0•Updated Dec 19, 2025Dec 19, 2025

    • 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•12•2•0•Updated Dec 19, 2025Dec 19, 2025

    • 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 Nov 25, 2025Nov 25, 2025

    • 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
      •11•83•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•7•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
      •0•3•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•18•0•0•Updated Sep 15, 2025Sep 15, 2025

    • scase

      Public
      Automated Framework for recovering Secrets from Side-Channel Traces. (USENIX Security '25)
      C
      •2•13•0•0•Updated Aug 12, 2025Aug 12, 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
      •175•1•0•0•Updated Jun 5, 2025Jun 5, 2025

    • osiris

      Public
      Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
      C++
      •
      Apache License 2.0
      •16•66•0•1•Updated Jun 4, 2025Jun 4, 2025

    • MAPAlloc

      Public
      C
      •0•5•0•0•Updated Apr 22, 2025Apr 22, 2025

    • ShadowLoad

      Public
      C
      •1•13•0•0•Updated Apr 1, 2025Apr 1, 2025

    • WebREC

      Public
      This repository provides the code is used in the Usenix paper "Web Execution Bundles: Reproducible, Accurate, and Archivable Web Measurements".
      Jupyter Notebook
      •0•3•0•0•Updated Mar 26, 2025Mar 26, 2025

    • PortPrint

      Public
      Assembly
      •
      GNU General Public License v2.0
      •0•2•0•0•Updated Feb 20, 2025Feb 20, 2025

    • PeripheralInstinct

      Public
      HTML
      •
      MIT License
      •1•3•0•0•Updated Feb 17, 2025Feb 17, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.