Science Score: 44.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
    Found CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
    Found .zenodo.json file
  • DOI references
  • Academic publication links
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (15.7%) to scientific vocabulary
Last synced: 6 months ago · JSON representation ·

Repository

Basic Info
  • Host: GitHub
  • Owner: arian3101
  • Language: Solidity
  • Default Branch: main
  • Size: 519 KB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 2 years ago · Last pushed over 2 years ago
Metadata Files
Readme Citation

README.md

The Scyther tool repository

This README describes the organization of the repository of the Scyther tool for security protocol analysis. Scyther is a tool for the automatic verification of security protocols. For installation, usage instructions, and pre-built binaries of the Scyther tool refer to this link

Note: The graphical user interface of Scyther is written in the Python language. Note that currently, Scyther does not support Python 3 (as it is not supported by the wxPython library below).

Requirements To be able to use all of Scyther's features, the following three dependencies are needed. If you only require the back-end tool (used from the command line) then you need only the first.

The GraphViz library

This library is used by the Scyther tool to draw graphs. It can be freely downloaded from:

http://www.graphviz.org/

Download the latest stable release and install it.

Python

Stable releases of the Python interpreter are available from:

http://www.python.org/download/

Mac OS X

If the package yields an error when you try to install it, please use the following, in the directory where you downloaded it:

 $ sudo installer -pkg graphviz-2.34.0.pkg -target /
  wxPython libraries

The GUI user interface uses the wxPython libraries. The recommended way of installing is through pip and described on this page:

https://www.wxpython.org/download.php

This version of Scyther requires at least wxPython 4.0. Note that older versions of Scyther did not work with wxPython 4.

For Ubuntu users, it is important to add parameters, e.g., for Ubuntu 20.04, the recommended pip install is:

 $ sudo apt install python-pip
 $ pip install -U \
  -f https://extras.wxpython.org/wxPython4/extras/linux/gtk3/ubuntu-20.04 \
  wxPython

Attacks

List of proof of attacks generated by the proposed scheme

License

Currently, these Scyther sources are licensed under GPL 2, as indicated in the source code. Contact Cas Cremers if you have any questions.

Owner

  • Login: arian3101
  • Kind: user

Citation (CITATION.cff)

# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!

cff-version: 1.2.0
title: SPDL code for puf based authentication
message: >-
  If you use this software, please cite it using the
  metadata from this file.
type: software
authors:
  - given-names: Aparna
    family-names: Singh
    email: aparnasingh2211@gmail.com
    affiliation: Netaji Subhas University of Technology
    orcid: 'https://orcid.org/0000-0003-0829-4763'
repository-code: >-
  https://github.com/arian3101/Mutual-authentication-spdl/tree/main
keywords:
  - >-
    Physical Unclonable Functions,Authentication,Internet of
    Things
license: Python-2.0
version: '1.2'

GitHub Events

Total
Last Year