stateful_protocol_composition_and_typing
https://github.com/logicalhacking/stateful_protocol_composition_and_typing
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
✓DOI references
Found 4 DOI reference(s) in README -
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (4.8%) to scientific vocabulary
Keywords
Repository
Basic Info
- Host: GitHub
- Owner: logicalhacking
- License: other
- Language: Isabelle
- Default Branch: master
- Size: 306 KB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
Stateful Protocol Composition and Typing
This git repository contains a local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the Stateful Protocol Composition and Typing entry) at a later stage.
Installation
console
achim@logicalhacking:~$ isabelle build -D Stateful_Protocol_Composition_and_Typing
Authors
- Andreas V. Hess
- Sebastian Mödersheim
- Achim D. Brucker
License
This project is licensed under a 3-clause BSD-style license.
SPDX-License-Identifier: BSD-3-Clause
Upstream Repository
The upstream git repository, i.e., the single source of truth, for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/Stateful_Protocol_Composition_and_Typing.
Publications
- Andreas V. Hess, Sebastian Mödersheim, and Achim D. Brucker. Stateful Protocol Composition and Typing. In Archive of Formal Proofs, 2020. http://www.isa-afp.org/entries/tateful_Protocol_Composition_and_Typing.html, Formal proof development
- Andreas V. Hess, Sebastian A. Mödersheim, and Achim D. Brucker. Stateful Protocol Composition. In ESORICS. Lecture Notes in Computer Science (11098), pages 427-446, Springer-Verlag, 2018. doi:10.1007/978-3-319-99073-6
Owner
- Name: Software Assurance & Security Research Team
- Login: logicalhacking
- Kind: organization
- Email: adbrucker@0x5f.org
- Location: Exeter, UK
- Website: https://logicalhacking.com
- Twitter: logicalhacking
- Repositories: 6
- Profile: https://github.com/logicalhacking
Git mirror of the Software Assurance & Security Research Team at the University of Exeter, UK. The team is headed by Achim D. Brucker (@adbrucker).
GitHub Events
Total
Last Year
Committers
Last synced: 7 months ago
Top Committers
| Name | Commits | |
|---|---|---|
| Achim D. Brucker | a****r@0****g | 8 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 7 months ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0