Skip to content
@RIT-CHAOS-SEC

RIT-CHAOS-SEC

Cubbyhole for Hardware Assisted and Operative Software Security (CHAOS-Sec) is a security research lab at Rochester Institute of Technology

Pinned Loading

  1. ACFA ACFA Public

    ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

    Verilog 4 2

  2. ISC-FLAT_open_source ISC-FLAT_open_source Public

    Repository for ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

    C 3 1

  3. UCCA UCCA Public

    Verilog 1 1

  4. PEARTS PEARTS Public

    C

  5. SpecCFA SpecCFA Public

    Prototype Repository for our paper SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation

    C 1

  6. openMSP430 openMSP430 Public

    Verilog project for standalone openMSP430

    Verilog 1

Repositories

Showing 10 of 11 repositories
  • PEARTS_FreeRTOS Public
    RIT-CHAOS-SEC/PEARTS_FreeRTOS’s past year of commit activity
    0 0 0 0 Updated Oct 16, 2024
  • TRACES Public

    private TRACES

    RIT-CHAOS-SEC/TRACES’s past year of commit activity
    C 0 0 0 0 Updated Oct 9, 2024
  • SpecCFA Public

    Prototype Repository for our paper SpecCFA: Enhancing Control Flow Attestation/Auditing via Application-Aware Sub-Path Speculation

    RIT-CHAOS-SEC/SpecCFA’s past year of commit activity
    C 0 1 0 0 Updated Oct 7, 2024
  • UCCA Public
    RIT-CHAOS-SEC/UCCA’s past year of commit activity
    Verilog 1 1 0 0 Updated Aug 12, 2024
  • PEARTS Public
    RIT-CHAOS-SEC/PEARTS’s past year of commit activity
    C 0 0 0 0 Updated Jun 8, 2024
  • AssemblyInstrumenting Public

    Instrumenting ARM Cortex M source code (C or Assembly)

    RIT-CHAOS-SEC/AssemblyInstrumenting’s past year of commit activity
    C 0 0 0 0 Updated May 8, 2024
  • ACFA Public

    ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation

    RIT-CHAOS-SEC/ACFA’s past year of commit activity
    Verilog 4 2 0 0 Updated Mar 6, 2024
  • ISC-FLAT_open_source Public

    Repository for ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations

    RIT-CHAOS-SEC/ISC-FLAT_open_source’s past year of commit activity
    C 3 1 0 0 Updated Oct 13, 2023
  • DiCA Public

    DiCA: A Hardware-Software Co-Design for Differential Check-Pointing in Intermittently Powered Devices

    RIT-CHAOS-SEC/DiCA’s past year of commit activity
    Verilog 1 0 0 0 Updated Aug 25, 2023
  • openMSP430 Public

    Verilog project for standalone openMSP430

    RIT-CHAOS-SEC/openMSP430’s past year of commit activity
    Verilog 1 0 0 0 Updated Jan 24, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…