Skip to content
@logicalhacking

Software Assurance & Security Research Team

Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).

Pinned Loading

  1. DVHMA Public

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

    JavaScript 263 58

  2. DASCA Public

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

    Java 4 2

  3. GenericBreakGlass-XACML Public archive

    GenericBreakGlass: XACML Reference Implementation

    Java 1

  4. ocl-examples Public

    A collection of (toy) examples using OCL.

    7

  5. SecureBPMN Public archive

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

    Java 4 2

  6. SecureUML-GUI Public

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

    Java 1 1

Repositories

Showing 10 of 28 repositories
  • Isabelle_DOF Public

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

    Isabelle 2 1 0 0 Updated Mar 17, 2025
  • DVGM Public

    Vulnerable Grade Management System

    Ruby 3 GPL-3.0 9 0 0 Updated Sep 7, 2024
  • ExtensionCrawler Public

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

    Python 19 GPL-3.0 5 0 1 Updated Oct 10, 2023
  • lh-docker-isabelle Public

    A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

    Dockerfile 0 BSD-2-Clause 0 0 0 Updated Mar 4, 2023
  • Nano_JSON Public

    Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML

    Isabelle 0 BSD-3-Clause 0 0 0 Updated Aug 15, 2022
  • Automated_Stateful_Protocol_Verification Public

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

    Isabelle 0 0 0 0 Updated Apr 2, 2022
  • Featherweight_OCL Public

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

    Isabelle 4 BSD-3-Clause 0 0 0 Updated Mar 27, 2022
  • Stateful_Protocol_Composition_and_Typing Public
    Isabelle 0 0 0 0 Updated Mar 26, 2022
  • Extended_Finite_State_Machines Public

    Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".

    Isabelle 0 0 0 0 Updated Mar 26, 2022
  • Extended_Finite_State_Machine_Inference Public

    Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".

    Isabelle 0 0 0 0 Updated Mar 26, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…