Projects in Awesome Lists by logicalhacking
A curated list of projects in awesome lists by logicalhacking .
https://github.com/logicalhacking/dvhma
Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.
android cordova vulnerability vulnerable-application
Last synced: 13 Apr 2025
https://github.com/logicalhacking/DVHMA
Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.
android cordova vulnerability vulnerable-application
Last synced: 26 Mar 2025
https://github.com/logicalhacking/extensioncrawler
A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.
Last synced: 15 Apr 2025
https://github.com/logicalhacking/ocl-examples
A collection of (toy) examples using OCL.
Last synced: 12 Jun 2025
https://github.com/logicalhacking/featherweight_ocl
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
firewall formal-proofs hol holocl isabelle-hol ocl verification
Last synced: 06 Mar 2025
https://github.com/logicalhacking/dasca
DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
android cordova eclipse java sast static-analysis wala
Last synced: 15 Apr 2025
https://github.com/logicalhacking/securebpmn
SecureBPMN is a domain-specific modeling language that allows to model security aspects (e.g., access control, separation of duty, confidentiality).
analysis bpmn compliance modelling modelling-framework project securebpmn security
Last synced: 10 May 2025
https://github.com/logicalhacking/dvgm
Vulnerable Grade Management System
application-security software-security vulnerability vulnerable-application
Last synced: 15 Apr 2025
https://github.com/logicalhacking/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.
certification isabelle isabelle-dof ontology
Last synced: 06 Mar 2025
https://github.com/logicalhacking/isabelle-ofmc
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
isabelle-hol ofmc protocol-security
Last synced: 06 Mar 2025
https://github.com/logicalhacking/secureuml-gui
A ArgoUML extensions for modelling SecureUML supporting various SecureUML dialects with and without support for Generic Break Glass concepts.
modelling-framework secure security uml
Last synced: 06 Mar 2025
https://github.com/logicalhacking/genericbreakglass-xacml
GenericBreakGlass: XACML Reference Implementation
access-control break-glass java rbac xacml
Last synced: 10 May 2025
https://github.com/logicalhacking/dom_components
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/shadow_sc_dom
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/upf_firewall
Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).
afp firewall iptables isabelle-hol
Last synced: 06 Mar 2025
https://github.com/logicalhacking/automated_stateful_protocol_verification
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
isabelle-hol protocol-verification security-protocols verification
Last synced: 06 Mar 2025
https://github.com/logicalhacking/nano_json
Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML
Last synced: 06 Mar 2025
https://github.com/logicalhacking/sc_dom_components
Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/core_dom
Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
Last synced: 06 Mar 2025
https://github.com/logicalhacking/lh-docker-scale-mamba
Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.
Last synced: 06 Mar 2025
https://github.com/logicalhacking/shadow_dom
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/core_sc_dom
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/extended_finite_state_machine_inference
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/lh-docker-isabelle
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Last synced: 06 Mar 2025
https://github.com/logicalhacking/extended_finite_state_machines
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
Last synced: 06 Mar 2025
https://github.com/logicalhacking/upf
Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).
access-control afp isabelle-hol policy-framework
Last synced: 06 Mar 2025