Skip to content
@uqcyber

UQ Cyber Security

Interdisciplinary cyber security research centre at the University of Queensland, Australia

Popular repositories Loading

  1. ColdPress ColdPress Public

    Extensible Platform for Malware Analysis

    Python 17 5

  2. veriopt-releases veriopt-releases Public

    Verifying the optimization phases of the GraalVM compiler

    Isabelle 11 2

  3. Protean Protean Public

    A versatile platform for threat intelligence comprised of testing and combining multiple open source threat intelligence tools

    Python 5

  4. graal graal Public

    Forked from oracle/graal

    GraalVM: Run Programs Faster Anywhere 🚀

    Java 3 3

  5. NodeJSFuzzing NodeJSFuzzing Public

    A project to compare the performance of various fuzzers against 5 Node.js applications.

    JavaScript 2 1

  6. VeriSmart VeriSmart Public

    Machine-checked formal verification of smart contracts for various blockchains.

    F* 1

Repositories

Showing 8 of 8 repositories
  • graal Public Forked from oracle/graal

    GraalVM: Run Programs Faster Anywhere 🚀

    uqcyber/graal’s past year of commit activity
    Java 3 1,756 0 0 Updated Feb 21, 2025
  • veriopt-releases Public

    Verifying the optimization phases of the GraalVM compiler

    uqcyber/veriopt-releases’s past year of commit activity
    Isabelle 11 2 0 0 Updated Jan 13, 2025
  • AFLChurnPlusPlus Public
    uqcyber/AFLChurnPlusPlus’s past year of commit activity
    C 0 Apache-2.0 0 0 0 Updated Dec 12, 2024
  • VeriSmart Public

    Machine-checked formal verification of smart contracts for various blockchains.

    uqcyber/VeriSmart’s past year of commit activity
    F* 1 0 0 0 Updated Oct 4, 2023
  • NodeJSFuzzing Public

    A project to compare the performance of various fuzzers against 5 Node.js applications.

    uqcyber/NodeJSFuzzing’s past year of commit activity
    JavaScript 2 UPL-1.0 1 2 0 Updated Dec 1, 2021
  • Protean Public

    A versatile platform for threat intelligence comprised of testing and combining multiple open source threat intelligence tools

    uqcyber/Protean’s past year of commit activity
    Python 5 UPL-1.0 0 0 0 Updated Feb 24, 2021
  • WhileyTruffle Public

    Implementing the Whiley programming language using GraalVM and Truffle

    uqcyber/WhileyTruffle’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Feb 18, 2021
  • ColdPress Public

    Extensible Platform for Malware Analysis

    uqcyber/ColdPress’s past year of commit activity
    Python 17 UPL-1.0 5 0 0 Updated Jan 14, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…