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 DVHMA Public

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

    JavaScript 258 57

  2. DASCA 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 GenericBreakGlass-XACML Public archive

    GenericBreakGlass: XACML Reference Implementation

    Java 1

  4. ocl-examples ocl-examples Public

    A collection of (toy) examples using OCL.

    6

  5. SecureBPMN 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 3 2

  6. SecureUML-GUI 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
  • DVGM Public

    Vulnerable Grade Management System

    logicalhacking/DVGM’s past year of commit activity
    Ruby 3 GPL-3.0 8 0 0 Updated Sep 7, 2024
  • 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.

    logicalhacking/Isabelle_DOF’s past year of commit activity
    Isabelle 2 1 0 0 Updated Jul 16, 2024
  • ExtensionCrawler Public

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

    logicalhacking/ExtensionCrawler’s past year of commit activity
    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.

    logicalhacking/lh-docker-isabelle’s past year of commit activity
    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

    logicalhacking/Nano_JSON’s past year of commit activity
    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).

    logicalhacking/Automated_Stateful_Protocol_Verification’s past year of commit activity
    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).

    logicalhacking/Featherweight_OCL’s past year of commit activity
    Isabelle 4 BSD-3-Clause 0 0 0 Updated Mar 27, 2022
  • Stateful_Protocol_Composition_and_Typing Public
    logicalhacking/Stateful_Protocol_Composition_and_Typing’s past year of commit activity
    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".

    logicalhacking/Extended_Finite_State_Machines’s past year of commit activity
    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".

    logicalhacking/Extended_Finite_State_Machine_Inference’s past year of commit activity
    Isabelle 0 0 0 0 Updated Mar 26, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…