afp-mirror
/
Shadow_SC_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_DOM".
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
6 Commits
1 Branch
2 Tags
228 KiB
 
 
 
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
Achim D. Brucker 1450829cd0
Fixed typo. 		12 months ago
.ci Initial commit. 12 months ago
Shadow_SC_DOM Renamed session to avoid name clash with offical AFP entry. 12 months ago
CITATION Fixed typo. 12 months ago
LICENSE Initial commit. 12 months ago
README.md Initial commit. 12 months ago

README.md

A Formal Model of the Safely Composable Document Object Model with Shadow Roots (Shadow_SC_DOM)

This git repository contains a local mirror of the Archive of Formal Proofs (AFP) entry A Formal Model of the Safely Composable Document Object Model with Shadow Roots.

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted at a later point in time.

How to build

achim@logicalhacking:~$ isabelle build -D Shadow_SC_DOM

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/Core_SC_DOM.

Publications