murlipatruni Goto Github PK

-avispa-

基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议

5g-v2v-aka-based-on-puf

《基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议》中的AVISPA协议协议分析代码

android-pre-trainin_muralidhar

avispa

The HLPSL code of WSN protocol

avispa-1

avispa-2

avispa-implementation

avispa-project

Secure key exchange protocol I designed and verified with Avispa tool.

avispa-validation-code

blockchain-authentitcation-simulation

Simulation of blockchain based authentication protocol in AVISPA tool.

blockchain-ns3

Using the ns-3 simulator to implement wireless nodes of blockchain and analyse its performance in terms of transaction throughput, mining time, block propagation time

bluemix-java-postgresql-uploader

Bluemix sample app written in Java that uses a PostgreSQL database.

bluemix-java-sample-twitter-influence-app

Bluemix sample app written in Java that uses the Twitter API's to analyze the influence of individual twitter usernames

book-shop_swaritjain

cloud4

cloud4.github.io

Learn Technology Today

clubfinancessc

This is a smart contract which i have created for football clubs to record their financial earnings and expenditures

codeigniter-3.2.1-with-admin-lte-template-intigration

Admin LTE templete with php codeigniter 3.2.1 latest version

colosseum-scope

Source code for the paper L. Bonati, S. D'Oro, S. Basagni, and T. Melodia, "SCOPE: An Open and Softwarized Prototyping Platform for NextG Systems," in Proceedings of ACM MobiSys, June 2021.

colosseum-srslte-20-04

Colosseum srsLTE reporitory based on srsLTE release_20_04

core

MIRACL Core

data-structures-lab-programs

Programs for Data Structures - 3rd Semester - IT

data_structure_and_algorithms_library

A collection of classical algorithms and data-structures implementation in C++ for coding interview and competitive programming

dhwfsformalanalysis

Diffie-Hellman with Forward Secrecy Formal Analysis (AVISPA)

elements-of-computing-systems

⚡️ The Elements of Computing Systems 📕

fabric

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

fabric-samples

formal-security-verification-of-security-protocols

Formal Security Verification of Security Protocols based on AVISPA

formal-security-verification-of-security-protocols-using-the-avispa-backends

Implemention of the protocol using HLPSL language of AVISPA specifying clearly the basic roles for the parties involved in the network, and mandatory roles for session, goal and environment

formal-security-verification-using-avispa

Formal Verification of the paper "On the Design of Blockchain-Based Access Control Scheme for Software Defined Networks" using AVISPA Tools