zuoyuanp Goto Github PK

aioquic

QUIC and HTTP/3 implementation in Python

awesome-blockchain-security

A collection of awesome resources, tools, and other shiny things for blockchain security researcher.

boringssl

Mirror of BoringSSL

dive-into-dl-pytorch

本项目将《动手学深度学习》(Dive into Deep Learning)原书中的MXNet实现改为PyTorch实现。

ethereum-smart-contract-vulnerability

Research around Ethereum smart contract vulnerabilities (Detection/Secure Code Generation)

frameshifter

Grammar-based HTTP/2 fuzzer with mutation ability

h3spec

Test tool for error cases of QUIC and HTTP/3

honeypot-detection

Code for the paper "A Data Science Approach for Honeypot Detection in Ethereum"

http3-attacks

HTTP3-attacks (CVE-2022-30592)

lsquic

LiteSpeed QUIC and HTTP/3 Library

model-quic

QUIC formal model for ProVerif

mvfst

An implementation of the QUIC transport protocol.

picoquic

Minimal implementation of the QUIC protocol

picotls

TLS 1.3 implementation in C (master supports RFC8446 as well as draft-26, -27, -28)

quant

QUIC implementation for POSIX and IoT platforms

quic-formalverification

quic-go

A QUIC implementation in pure Go

quic-interop-runner

QUIC interop runner

quic-ivy

quic-tracker

A test suite for QUIC

quiche

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

quinn

Async-friendly QUIC implementation in Rust

qwic

A proof-of-concept of a monitoring application specialised in QUIC traffic.

rekcarc-tsc-uht

清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University

t-reqs

Grammar-based HTTP/1 fuzzer with mutation ability

tensorflow_cookbook

Code for Tensorflow Machine Learning Cookbook

toward-verification-of-quic-extensions

Formal methods play an important role in validating networking protocols. During the development of TLS 1.3, formal methods have helped to identify several issues with draft versions of the protocol that have been fixed before finalising the protocol. In the transport layer, the QUIC protocol has been proposed to replace the HTTP/TLS/TCP stack. Thi

wf-in-the-age-of-quic

This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).

zju-icicles

浙江大学课程攻略共享计划

zuoyuanp.github.io

我的个人博客