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 16 5

  2. veriopt-releases veriopt-releases Public

    Verifying the optimization phases of the GraalVM compiler

    Isabelle 11 1

  3. Protean Protean Public

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

    Python 5

  4. NodeJSFuzzing NodeJSFuzzing Public

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

    JavaScript 2 1

  5. graal graal Public

    Forked from oracle/graal

    GraalVM: Run Programs Faster Anywhere 🚀

    Java 2 2

  6. WhileyTruffle WhileyTruffle Public

    Implementing the Whiley programming language using GraalVM and Truffle

Repositories

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

    GraalVM: Run Programs Faster Anywhere 🚀

    uqcyber/graal’s past year of commit activity
    Java 2 1,691 0 0 Updated Sep 30, 2024
  • veriopt-releases Public

    Verifying the optimization phases of the GraalVM compiler

    uqcyber/veriopt-releases’s past year of commit activity
    Isabelle 11 1 0 0 Updated Apr 17, 2024
  • VeriSmart Public

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

    uqcyber/VeriSmart’s past year of commit activity
    F* 0 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 16 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.

Top languages

Loading…

Most used topics

Loading…