Skip to content

@uqcyber UQ Cyber Security

Change the repository type filter

All

    Repositories list

    8 repositories

    • graal

      Public
      GraalVM: Run Programs Faster Anywhere 🚀
      Java
      •
      Other
      •1.8k•3•0•0•Updated Dec 19, 2025Dec 19, 2025

    • veriopt-releases

      Public
      Verifying the optimization phases of the GraalVM compiler
      verificationcompilersgraalvmisabelle
      Isabelle
      •2•13•0•0•Updated Jan 13, 2025Jan 13, 2025

    • AFLChurnPlusPlus

      Public
      C
      •
      Apache License 2.0
      •0•1•0•0•Updated Dec 12, 2024Dec 12, 2024

    • VeriSmart

      Public
      Machine-checked formal verification of smart contracts for various blockchains.
      F*
      •0•1•0•0•Updated Oct 4, 2023Oct 4, 2023

    • NodeJSFuzzing

      Public
      A project to compare the performance of various fuzzers against 5 Node.js applications.
      JavaScript
      •
      Universal Permissive License v1.0
      •1•3•2•0•Updated Dec 1, 2021Dec 1, 2021

    • Protean

      Public
      A versatile platform for threat intelligence comprised of testing and combining multiple open source threat intelligence tools
      Python
      •
      Universal Permissive License v1.0
      •0•5•0•0•Updated Feb 24, 2021Feb 24, 2021

    • WhileyTruffle

      Public
      Implementing the Whiley programming language using GraalVM and Truffle
      Apache License 2.0
      •0•0•0•0•Updated Feb 18, 2021Feb 18, 2021

    • ColdPress

      Public
      Extensible Platform for Malware Analysis
      Python
      •
      Universal Permissive License v1.0
      •5•17•0•0•Updated Jan 14, 2021Jan 14, 2021