Software Assurance & Security Research Team

Repositories

• Isabelle_DOF

  Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

  ontology isabelle certification isabelle-dof
  TeX 0 0 0 0 Updated Jun 12, 2020

• Automated_Stateful_Protocol_Verification

  Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

  verification isabelle-hol protocol-verification security-protocols
  Isabelle 0 0 0 0 Updated May 23, 2020

• Stateful_Protocol_Composition_and_Typing

  verification isabelle-hol protocol-verification security-protocols
  Isabelle 0 0 0 0 Updated May 23, 2020

• Core_DOM

  Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
  Isabelle 0 0 0 0 Updated May 23, 2020

• UPF

  Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

  access-control isabelle-hol afp policy-framework
  Isabelle 0 0 0 0 Updated May 23, 2020

• Featherweight_OCL

  Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

  firewall verification ocl isabelle-hol hol formal-proofs holocl
  Isabelle BSD-3-Clause 0 1 0 0 Updated May 23, 2020

• UPF_Firewall

  Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).

  firewall iptables isabelle-hol afp
  Isabelle 0 0 0 0 Updated May 23, 2020

• lh-docker-isabelle

  A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
  Dockerfile BSD-2-Clause 0 0 0 0 Updated May 3, 2020

• ExtensionCrawler

  A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.

  chrome-extension chrome
  Python GPL-3.0 1 10 0 0 Updated Apr 8, 2020

• DVGM

  Vulnerable Grade Management System

  vulnerability application-security software-security vulnerable-application
  Ruby GPL-3.0 0 0 0 0 Updated Mar 7, 2019

• DASCA

  DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.

  android java cordova eclipse static-analysis sast wala
  Java EPL-2.0 2 4 0 0 Updated Feb 27, 2019

• WALA

  Forked from wala/WALA

  Fork of the T.J. Watson Libraries for Analysis used by DASCA.
  Java EPL-2.0 153 0 0 0 Updated Oct 29, 2018

• DVHMA

  Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.

  android cordova vulnerability vulnerable-application
  JavaScript Apache-2.0 35 174 1 0 Updated Aug 22, 2018

• GenericBreakGlass-XACML

  GenericBreakGlass: XACML Reference Implementation

  java rbac access-control xacml break-glass
  Java Apache-2.0 0 1 0 0 Updated Aug 8, 2018

• SecureUML-GUI

  A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.

  security uml secure modelling-framework
  Java BSD-2-Clause 1 0 0 0 Updated Aug 8, 2018

• SecureBPMN

  SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).

  security analysis bpmn project compliance modelling modelling-framework
  Java Apache-2.0 1 2 0 0 Updated Aug 8, 2018

• isabelle-ofmc

  Isabelle/OFMC - Linking OFMC and Isabelle/HOL

  isabelle-hol protocol-security ofmc
  Standard ML BSD-2-Clause 0 0 0 0 Updated Aug 7, 2018

• ocl-examples

  A collection of (toy) examples using OCL.

  benchmark uml ocl hol-ocl
  0 4 0 0 Updated Jul 23, 2018

• Danube
  0 0 0 0 Updated Aug 15, 2017