murlipatruni Goto Github PK
Type: User
Type: User
基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议
《基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议》中的AVISPA协议协议分析代码
The HLPSL code of WSN protocol
Secure key exchange protocol I designed and verified with Avispa tool.
Simulation of blockchain based authentication protocol in AVISPA tool.
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 sample app written in Java that uses a PostgreSQL database.
Bluemix sample app written in Java that uses the Twitter API's to analyze the influence of individual twitter usernames
Learn Technology Today
This is a smart contract which i have created for football clubs to record their financial earnings and expenditures
Admin LTE templete with php codeigniter 3.2.1 latest version
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 reporitory based on srsLTE release_20_04
MIRACL Core
Programs for Data Structures - 3rd Semester - IT
A collection of classical algorithms and data-structures implementation in C++ for coding interview and competitive programming
Diffie-Hellman with Forward Secrecy Formal Analysis (AVISPA)
⚡️ The Elements of Computing Systems 📕
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.
Formal Security Verification of Security Protocols based on AVISPA
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 Verification of the paper "On the Design of Blockchain-Based Access Control Scheme for Software Defined Networks" using AVISPA Tools
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.