rovid008

rovid008's Stars

• hy12121/CLHS

  We systematically demonstrated that the scheme meets the required security attributes using the Proverif (formal verification tool), and the details are shown in the file content.

  1

• PedoneMatteo/My_Formal_Verification_of_V2X_Protocol

  This work delves into the privacy of vehicles and their drivers. Starting from a formal model of a proposed scheme aimed at safeguarding privacy in V2X communication, it has been extended and subjected to thorough analysis of its security properties through formal verification methods. Proverif has been used for this work.

  1

• psyklopp/Cryptographic-Protocols-Project

  For the subject of Cryptographic Protocols, we have to use ProVerif to verify security properties of one protocol

  21

• pietrotedeschi/ppca

  PPCA is a lightweight, distributed, and privacy-preserving privacy-preserving collision avoidance scheme for autonomous UAVs.

  31

• Azrael-W/CKFAKE-Proverif

  The Proverif model of Cuckoo filter-based hybrid cryptographic authentication protocol in VANET

  4

• Secure-6G/ProVerif-AKA-6G

  Formal verification code for an AKA protocol for 6G

  8

• Inria-Prosecco/reftls

  Language:JavaScript2916

• YongfeiHuang/AuthenticationProVerif

  This is ProVerif file for RLWE-based mutual authentication.

  2

• 10Ring/LAA-Net

  The official implementation for LAA-Net: Localized Artifact Attention Network for Quality-Agnostic and Generalizable Deepfake Detection

  Language:Python648

• dessa-oss/DeepFake-Detection

  Towards deepfake detection that actually works

  Language:Python559192

• HongguLiu/Deepfake-Detection

  The Pytorch implemention of Deepfake Detection based on Faceforensics++

  Language:Python30460

• Daisy-Zhang/Awesome-Deepfakes-Detection

  A list of tools, papers and code related to Deepfake Detection.

  1k100

• SakanaAI/AI-Scientist

  The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

  Language:Jupyter Notebook8k1.1k

• taabishm2/Provchain

  A blockchain-based provenance platform for tracing supply chains

  Language:JavaScript31

• ankit-1517/ProvChain

  Language:Java5

• HappySusan2016/ProvChain

  ProvChain: A Blockchain-based Data Provenance Architecture in Cloud Environment with Enhanced Privacy and Availability

  Language:PHP142

• JackJiang2011/MobileIMSDK

  一个原创多端IM通信层框架，轻量级、高度提炼，历经10年、久经考验。可能是市面上唯一同时支持UDP+TCP+WebSocket三种协议的同类开源框架，支持 iOS、Android、Java、H5、小程序、Uniapp，服务端基于Netty。

  Language:Objective-C5.5k1.3k

• HowieHwong/TrustLLM

  [ICML 2024] TrustLLM: Trustworthiness in Large Language Models

  Language:Python45643

• srikanth-sri756/Attribute-Based-Encryption-Approach-for-Storage-Sharing

  Language:Java21

• pigLetsz/searchable-attribute-based-encryption-scheme-with-multiple-attribute-authorities

  Language:Java3

• jyrkioraskari/Multi-AuthorityABE4BIM

  Multi-authority Attribute Based Encryption for Linked Building Data in IPFS

  Language:Java9

• QwenLM/Qwen

  The official repo of Qwen (通义千问) chat & pretrained large language model proposed by Alibaba Cloud.

  Language:Python13.9k1.1k

• XRstar1/CLSC-scheme

  Language:Java1

• louisheery/trust-sim

  🎛 📊 Multi-agent Simulation Platform for Evaluating Trust and Reputation Models.

  Language:Java52

• NillionNetwork/tinynmc

  Minimal pure-Python implementation of a secure multi-party computation (MPC) protocol for evaluating arithmetic sum-of-products expressions via a non-interactive computation phase.

  Language:Python5912

• deemowww/Linear-Secret-Sharing-Scheme-In-Python

  Linear Secret Sharing Scheme, LSSS, ABE

  Language:Python51

• NorwegianForest/Linear-Secret-Sharing-Scheme

  LSSS, ABE

  Language:Python145

• TimberWill/cryptography

  abe+se

  Language:Java3

• xiao-he/OneShotSTL

  Language:Jupyter Notebook316

• AbhishekD2424/EDI_in_Edge_Computing

  Created a system to check the Effective Data Integrity in Edge Computing using the Botan library in C++. Created a simple UDP connection that allowed checking the integrity of any shared file by generating unique tags based on the theoretical research paper.

  Language:C++1