Giter VIP home page Giter VIP logo
%%{init: {'themeVariables': {'fontFamily': 'Bernard MT Condensed', 'fontSize': '24px','fontWeight': 'bold'}}}%%
sequenceDiagram
    participant Alice as 👩 Alice
    participant Bob as 👨 Bob
    participant Server as 💻 Server

    rect rgb(200, 220, 255)
        note over Alice: Step 1
        Alice ->> Alice: 👩 generates private key a 🔐
        Bob ->> Bob: 👨 generates private key b 🔐
    end

    rect rgb(200, 220, 255)
        note over Alice: Step 2
        Alice ->> Alice: 👩 computes public key A = g^a mod p 🔑
        Alice ->> Bob: 👩 sends public key A to 👨 ✉️
    end

    rect rgb(200, 220, 255)
        note over Bob: Step 3
        Bob ->> Bob: 👨 computes public key B = g^b mod p 🔑
        Bob ->> Alice: 👨 sends public key B to 👩 ✉️
    end

    rect rgb(200, 220, 255)
        note over Alice, Bob: Step 4
        Alice ->> Alice: 👩 computes shared secret s = B^a mod p = g^(ab) mod p 🔐
        Bob ->> Bob: 👨 computes shared secret s = A^b mod p = g^(ab) mod p 🔐
    end

    rect rgb(200, 220, 255)
        note over Alice, Server: Step 5
        Alice ->> Server: 👩 sends encrypted message to Server 💻: {Alice, Bob, s} ✉️
        Bob ->> Server: 👨 sends encrypted message to Server 💻: {Alice, Bob, s} ✉️
    end

    rect rgb(200, 220, 255)
        note over Server: Step 6
        Server ->> Server: 💻 matches secrets received from 👩 and 👨
        Server ->> Server: 💻 generates session key Ks 🔐
        Server ->> Alice: 💻 sends session key Ks to 👩 ✉️
        Server ->> Bob: 💻 sends session key Ks to 👨 ✉️
    end

    rect rgb(200, 220, 255)
        note over Alice, Bob: Step 7
        Alice ->> Alice: 👩 receives session key Ks from Server 🔐
        Bob ->> Bob: 👨 receives session key Ks from Server 🔐
    end

    rect rgb(200, 220, 255)
        note over Alice, Bob: Result
        Alice ->> Bob: 👩 👨 can now communicate securely using session key Ks 🔐
    end
Loading

c6ai's Projects

snow icon snow

A Rust implementation of the Noise Protocol Framework

solidity icon solidity

Solidity, the Smart Contract Programming Language

steel icon steel

The Steel separation logic library for F*

stress-ng icon stress-ng

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

svd_exp1 icon svd_exp1

Software vulnerability detection using machine learning through source codes (Exp-1). Replication of https://arxiv.org/abs/1807.04320.

svd_exp3 icon svd_exp3

Replication of AST Neural Network from Zhang J. et. al (2019) and application to software vulnerability detection

swe-agent icon swe-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4. It solves 12.29% of bugs in the SWE-bench evaluation set (comparable to Devin) and take just 1.5 minutes to run (7x faster than Devin).

swe-bench icon swe-bench

[ICLR 2024] SWE-Bench: Can Language Models Resolve Real-world Github Issues?

swift-sdk icon swift-sdk

Swift library (iOS) used to integrate with Descope

sympc icon sympc

A SMPC companion library for Syft

syne-tune icon syne-tune

Large scale and asynchronous Hyperparameter and Architecture Optimization at your fingertips.

tamarin-prover icon tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

tensorprob icon tensorprob

:chart_with_upwards_trend: A probabilistic programming framework based on TensorFlow

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.