Pinned Repositories
-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
MIRACL
MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for elliptic curve cryptography (ECC).
Security-Verification-Using-Avispa-blockchain-based-access-control-scheme-in-IoT-enabled-drones
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
MurliPatruni's Repositories
MurliPatruni/Security-Verification-Using-Avispa-blockchain-based-access-control-scheme-in-IoT-enabled-drones
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol
MurliPatruni/-AVISPA-
基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议
MurliPatruni/5G-V2V-AKA-Based-on-PUF
《基于 PUF的 5G车联网 V2V匿名认证与密钥协商协议》中的AVISPA协议协议分析代码
MurliPatruni/AVISPA
The HLPSL code of WSN protocol
MurliPatruni/AVISPA-2
MurliPatruni/Avispa-Implementation
MurliPatruni/AVISPA-Project
Secure key exchange protocol I designed and verified with Avispa tool.
MurliPatruni/AVISPA-Validation-Code
MurliPatruni/Blockchain-authentitcation-simulation
Simulation of blockchain based authentication protocol in AVISPA tool.
MurliPatruni/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
MurliPatruni/Book-Shop_SwaritJain
MurliPatruni/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.
MurliPatruni/colosseum-srslte-20-04
Colosseum srsLTE reporitory based on srsLTE release_20_04
MurliPatruni/core
MIRACL Core
MurliPatruni/DHWFSFormalAnalysis
Diffie-Hellman with Forward Secrecy Formal Analysis (AVISPA)
MurliPatruni/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.
MurliPatruni/fabric-samples
MurliPatruni/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
MurliPatruni/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
MurliPatruni/HLPSL
AVISPA tool
MurliPatruni/iot-authentication
avispa and python code for my paper
MurliPatruni/lightning
Large-scale linear classification, regression and ranking in Python
MurliPatruni/NS3-for-authentication-schemes
NS3 simulation for authentication schemes: a walkthrough
MurliPatruni/plotly.r-docs
The documentation for Ploty's R graphing library.
MurliPatruni/protocol_sec_msi
Protocol modelling and verification using AVISPA and Scyther. Done during 1st year of Master's in Information Security @ Faculty of Computer Science within University of Alexandru Ioan Cuza Iasi
MurliPatruni/ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
MurliPatruni/pydata-book
Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media
MurliPatruni/quantum_computing_course2023
Course Material for the online short course on Quantum Computing Using QSim
MurliPatruni/SecLists
SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.
MurliPatruni/Security-Verification-Using-Avispa
Implementation of 'Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment' protocol