Skip to content

@arguslab Argus Group

Change the repository type filter

All

    Repositories list

    30 repositories

    • Argus-SAF

      Public
      Argus static analysis framework
      androidsecuritystatic-analysis
      Scala
      •
      Apache License 2.0
      •55•197•35•1•Updated Jul 5, 2023Jul 5, 2023

    • ancor

      Public
      A Moving Target Defense Platform powered by ANCOR
      Ruby
      •
      GNU General Public License v3.0
      •4•9•7•0•Updated Nov 18, 2021Nov 18, 2021

    • pag-web

      Public
      Website for Argus Static Analysis Framework
      JavaScript
      •
      MIT License
      •0•1•0•0•Updated Nov 10, 2021Nov 10, 2021

    • Argus-SAF-playground

      Public
      Learning playground for Argus-SAF
      Scala
      •13•10•1•0•Updated Dec 27, 2018Dec 27, 2018

    • SecureBuildingAutomationSystems

      Public
      Proof of Concept seL4-Based Building Automation System
      C
      •3•0•0•0•Updated Nov 27, 2018Nov 27, 2018

    • InsecureBuildingAutomationSystem

      Public
      Demo Implementation of a Simple and Insecure Model Distrubuted Automation System
      Python
      •
      MIT License
      •3•0•0•0•Updated Nov 26, 2018Nov 26, 2018

    • NativeFlowBench

      Public
      Benchmark apps for static analyzing native world of Android applications.
      Java
      •5•13•1•0•Updated Nov 15, 2018Nov 15, 2018

    • crisp-web

      Public
      Website for CRISP project.
      HTML
      •1•0•0•0•Updated Nov 2, 2018Nov 2, 2018

    • camkes-temp-system

      Public
      CAmkES-based temperature controller demo.
      C
      •0•0•0•0•Updated Oct 16, 2017Oct 16, 2017

    • argus-cit-intellij

      Public
      Argus Code Inspection Tool for Intellij.
      Scala
      •
      Eclipse Public License 1.0
      •1•5•0•0•Updated Aug 17, 2017Aug 17, 2017

    • practical-cybersec-sp17

      Public
      Python
      •0•2•0•0•Updated Apr 25, 2017Apr 25, 2017

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •745•0•0•0•Updated Feb 24, 2017Feb 24, 2017

    • util_libs

      Public
      C
      •
      Other
      •96•0•0•0•Updated Feb 22, 2017Feb 22, 2017

    • floridasec-web

      Public
      CSS
      •
      MIT License
      •0•0•0•0•Updated Nov 21, 2016Nov 21, 2016

    • jawa-compiler

      Public
      Compiler for JAWA.
      Scala
      •
      Eclipse Public License 1.0
      •0•1•0•0•Updated Nov 18, 2016Nov 18, 2016

    • jawa2java

      Public
      Translate Jawa to Java.
      Scala
      •
      Eclipse Public License 1.0
      •0•1•0•0•Updated Nov 2, 2016Nov 2, 2016

    • gradle-android-jawa-plugin

      Public
      Gradle Android Jawa Plugin adds jawa language support to official gradle android plugin.
      Groovy
      •
      Eclipse Public License 1.0
      •0•1•1•0•Updated Oct 24, 2016Oct 24, 2016

    • gradle-jawa-plugin

      Public
      Gradle support for Jawa.
      Groovy
      •
      Eclipse Public License 1.0
      •0•1•0•0•Updated Oct 24, 2016Oct 24, 2016

    • ancor-environment

      Public
      Scripts used to configure the environment for ANCOR
      Shell
      •0•0•0•0•Updated Oct 13, 2015Oct 13, 2015

    • ancor-rails-example

      Public
      Rails app that demonstrates Sidekiq, MySQL replication support
      Ruby
      •0•0•0•0•Updated Sep 15, 2015Sep 15, 2015

    • puppet-java7

      Public
      An Oracle JDK7 module for Ubuntu which auto-accepts the Oracle licenses
      Ruby
      •
      Other
      •3•0•0•0•Updated May 6, 2015May 6, 2015

    • puppet-cloudera

      Public
      Puppet module to deploy Cloudera Manager and Cloudera's Distribution, including Apache Hadoop (CDH).
      Ruby
      •
      Other
      •61•0•0•0•Updated Apr 22, 2015Apr 22, 2015

    • juju-openstack-bootstrap

      Public
      Deploy Juju on your private OpenStack cloud
      Python
      •2•0•0•0•Updated Oct 27, 2014Oct 27, 2014

    • puppet-dns

      Public
      Module for provisioning DNS (bind9)
      Puppet
      •110•0•0•0•Updated Sep 19, 2014Sep 19, 2014

    • latex-tool

      Public
      Java
      •0•0•0•0•Updated May 19, 2014May 19, 2014

    • ancor-dashboard

      Public
      A frontend framework for ancor
      JavaScript
      •
      MIT License
      •1•1•2•0•Updated May 4, 2014May 4, 2014

    • ancor-cli

      Public
      Ruby
      •
      MIT License
      •0•0•0•0•Updated May 2, 2014May 2, 2014

    • mcollective-puppetca-agent

      Public
      MCollective Agent to manage the Puppet Certificate Authority
      Ruby
      •4•0•0•0•Updated Mar 13, 2014Mar 13, 2014

    • puppetlabs-apt

      Public
      Puppet module to help manage Apt
      Ruby
      •
      Other
      •515•0•0•0•Updated Mar 5, 2014Mar 5, 2014

    • puppet-multi-http

      Public
      Puppet report handler that supports multiple HTTP URLs
      Ruby
      •
      MIT License
      •2•0•0•0•Updated Dec 8, 2013Dec 8, 2013