Skip to content

@URSec URSec

Change the repository type filter

All

    Repositories list

    27 repositories

    • DeTRAP

      Public
      0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

    • detrap-toolchain

      Public
      CMake
      •0•0•0•0•Updated Oct 10, 2024Oct 10, 2024

    • detrap-printf

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • detrap-pyserial

      Public
      Python
      •
      Other
      •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • detrap-llvm

      Public
      C++
      •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

    • LLVM-Tutorial

      Public
      LLVM Tutorial for Security Practitioners
      C++
      •0•5•0•0•Updated Jul 20, 2024Jul 20, 2024

    • Randezvous

      Public
      Randezvous is a randomization-based control-flow hijacking defense on ARM microcontrollers (MCUs),
      randomizationmcu
      C
      •
      Apache License 2.0
      •2•1•0•0•Updated Jun 14, 2024Jun 14, 2024

    • SURust

      Public
      Analyze Rust to Identify Unsafe Memory Instructions
      Rust
      •
      Other
      •0•0•3•0•Updated Dec 1, 2023Dec 1, 2023

    • InversOS-Linux-VM

      Public
      Linux kernel stable tree mirror
      C
      •
      Other
      •522•0•0•0•Updated Sep 29, 2023Sep 29, 2023

    • Kage

      Public
      Python
      •
      Other
      •2•9•0•0•Updated May 18, 2023May 18, 2023

    • Silhouette

      Public
      Other
      •2•10•0•0•Updated May 18, 2023May 18, 2023

    • Silhouette-Evaluation

      Public
      C
      •
      Apache License 2.0
      •2•1•0•0•Updated May 17, 2023May 17, 2023

    • PicoXOM-Compiler

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
      C++
      •12k•0•0•0•Updated May 17, 2023May 17, 2023

    • Ombro

      Public
      Master Repository for Ombro
      Makefile
      •0•2•1•0•Updated Nov 15, 2022Nov 15, 2022

    • Xen

      Public
      Xen port to SVA
      C
      •
      Other
      •0•2•0•0•Updated Nov 15, 2022Nov 15, 2022

    • Randezvous-Compiler

      Public
      C++
      •
      Other
      •12k•1•0•0•Updated Oct 4, 2022Oct 4, 2022

    • libSVA

      Public
      SVA runtime library
      C
      •
      Other
      •0•2•0•0•Updated Aug 4, 2022Aug 4, 2022

    • SVA-Compiler

      Public
      LLVM compiler with SVA patches
      Apache License 2.0
      •0•2•0•0•Updated Aug 4, 2022Aug 4, 2022

    • CheckedC-Tutorial-PLDI22

      Public
      C
      •0•1•0•0•Updated Jun 12, 2022Jun 12, 2022

    • Kage-FreeRTOS

      Public
      C
      •0•1•0•0•Updated Jan 27, 2022Jan 27, 2022

    • Silhouette-Compiler-Kage

      Public
      LLVM
      •
      Other
      •0•0•0•0•Updated Jan 20, 2022Jan 20, 2022

    • Silhouette-QEMU-Demo

      Public
      Try out Silhouette without an ARM board!
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 21, 2021Oct 21, 2021

    • Silhouette-Compiler

      Public
      The LLVM-based Silhouette compiler
      C++
      •3•2•0•0•Updated Oct 21, 2021Oct 21, 2021

    • iskios

      Public
      IskiOS Project
      MIT License
      •1•4•0•0•Updated Oct 5, 2021Oct 5, 2021

    • newlib-cygwin

      Public
      Cygwin newlib mirror
      C
      •
      GNU General Public License v2.0
      •76•1•0•0•Updated Jun 11, 2021Jun 11, 2021

    • Silhouette-Compiler-Legacy

      Public
      Protecting the Control Flow of Applications on Real-time OS
      LLVM
      •
      Other
      •0•3•0•0•Updated Aug 11, 2020Aug 11, 2020

    • arm-compiler-rt

      Public
      Easy cross-compilation of compiler-rt for bare metal ARM targets
      Makefile
      •
      MIT License
      •3•1•0•0•Updated May 29, 2020May 29, 2020