Software Assurance & Security Research Team

All

28 repositories

DVGM
Public
Vulnerable Grade Management System
vulnerability application-security software-security vulnerable-application
Ruby
•
GNU General Public License v3.0
•8•3•0•0•Updated Sep 7, 2024Sep 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.
certification isabelle-dof ontology isabelle
Isabelle
•
Other
•1•2•0•0•Updated Jul 16, 2024Jul 16, 2024
ExtensionCrawler
Public
A collection of utilities for downloading and analyzing browser extension from the Chrome Web store.
chrome-extension chrome
Python
•
GNU General Public License v3.0
•5•18•0•1•Updated Oct 10, 2023Oct 10, 2023
lh-docker-isabelle
Public
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Dockerfile
•
BSD 2-Clause "Simplified" License
•0•0•0•0•Updated Mar 4, 2023Mar 4, 2023
Nano_JSON
Public
Nano JSON: Working with JSON formatted data in Isabelle/HOL and Isabelle/ML
Isabelle
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Aug 15, 2022Aug 15, 2022
Automated_Stateful_Protocol_Verification
Public
Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
verification isabelle-hol protocol-verification security-protocols
Isabelle
•
Other
•0•0•0•0•Updated Apr 2, 2022Apr 2, 2022
Featherweight_OCL
Public
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
firewall verification isabelle-hol hol holocl ocl formal-proofs
Isabelle
•
BSD 3-Clause "New" or "Revised" License
•0•4•0•0•Updated Mar 27, 2022Mar 27, 2022
Stateful_Protocol_Composition_and_Typing
Public
verification isabelle-hol protocol-verification security-protocols
Isabelle
•
Other
•0•0•0•0•Updated Mar 26, 2022Mar 26, 2022
Extended_Finite_State_Machines
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machines".
Isabelle
•
Other
•0•0•0•0•Updated Mar 26, 2022Mar 26, 2022
Extended_Finite_State_Machine_Inference
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Extended_Finite_State_Machine_Inference".
Isabelle
•
Other
•0•0•0•0•Updated Mar 26, 2022Mar 26, 2022
UPF_Firewall
Public
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
•
Other
•0•0•0•0•Updated Mar 25, 2022Mar 25, 2022
UPF
Public
Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).
access-control isabelle-hol policy-framework afp
Isabelle
•
Other
•0•0•0•0•Updated Mar 25, 2022Mar 25, 2022
Shadow_SC_DOM
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
Shadow_DOM
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
SC_DOM_Components
Public
Local mirror of the Archive of Formal Proof (AFP) entry "SC_DOM_Components".
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
DOM_Components
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
Core_SC_DOM
Public
Local mirror of the Archive of Formal Proof (AFP) entry "Core_SC_DOM".
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
Core_DOM
Public
Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
Isabelle
•
Other
•0•0•0•0•Updated Mar 11, 2021Mar 11, 2021
lh-docker-scale-mamba
Public
Container definitions (tested with docker and podman) for various versions of SCALE-MAMBA.
Dockerfile
•
BSD 2-Clause "Simplified" License
•0•0•0•0•Updated Jan 31, 2021Jan 31, 2021
isabelle-ofmc
Public
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
isabelle-hol protocol-security ofmc
Standard ML
•
BSD 2-Clause "Simplified" License
•0•1•0•0•Updated Jan 1, 2021Jan 1, 2021
DASCA
Public
DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
android cordova sast java eclipse static-analysis wala
Java
•
Eclipse Public License 2.0
•2•4•0•0•Updated Feb 27, 2019Feb 27, 2019
WALA
Public
Fork of the T.J. Watson Libraries for Analysis used by DASCA.
Java
•
Eclipse Public License 2.0
•221•0•0•0•Updated Oct 29, 2018Oct 29, 2018
DVHMA
Public
Damn Vulnerable Hybrid Mobile App (DVHMA) is an hybrid mobile app (for Android) that intentionally contains vulnerabilities.
vulnerability vulnerable-application android cordova
JavaScript
•
Apache License 2.0
•56•257•0•0•Updated Aug 22, 2018Aug 22, 2018
GenericBreakGlass-XACML
Public archive
GenericBreakGlass: XACML Reference Implementation
java rbac access-control xacml break-glass
Java
•
Apache License 2.0
•0•1•0•0•Updated Aug 8, 2018Aug 8, 2018
SecureUML-GUI
Public
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 "Simplified" License
•1•1•0•0•Updated Aug 8, 2018Aug 8, 2018
SecureBPMN
Public archive
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 securebpmn
Java
•
Apache License 2.0
•2•3•0•0•Updated Aug 8, 2018Aug 8, 2018
ocl-examples
Public
A collection of (toy) examples using OCL.
benchmark uml hol-ocl ocl
Other
•0•6•0•0•Updated Jul 23, 2018Jul 23, 2018
Danube
Public
0•0•0•0•Updated Aug 15, 2017Aug 15, 2017