ZuoYuanP's repositories
Awesome-Blockchain-Security
A collection of awesome resources, tools, and other shiny things for blockchain security researcher.
aioquic
QUIC and HTTP/3 implementation in Python
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
quic-interop-runner
QUIC interop runner
quic-tracker
A test suite for QUIC
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-go
A QUIC implementation in pure Go
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
我的个人博客