DavidKorczynski
Researcher at @AdaLogics. Software security, analysis, AI and verification - PhD in program analysis from Oxford University
https://adalogics.comOxford, UK
Pinned Repositories
adacc
aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
alembic
Alembic is an open framework for storing and sharing scene data that includes a C++ library, a file format, and client plugins and applications.
Awesome-Fuzzing
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.
binary-samples
Samples of binary with different formats and architectures. A test suite for your binary analysis tools.
coveragepy
The code coverage tool for Python
oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software.
oss-fuzz-db-fuzzintro
pacemaker
Pacemaker is an advanced, scalable High-Availability cluster resource manager
RePEconstruct
DavidKorczynski's Repositories
DavidKorczynski/brunsli
Practical JPEG Repacker
DavidKorczynski/cilium
eBPF-based Networking, Security, and Observability
DavidKorczynski/cncf-fuzzing
✨🔐 CNCF Fuzzers
DavidKorczynski/conmon
An OCI container runtime monitor.
DavidKorczynski/core
CFEngine Community
DavidKorczynski/cri-o
Open Container Initiative-based implementation of Kubernetes Container Runtime Interface
DavidKorczynski/draco
Draco is a library for compressing and decompressing 3D geometric meshes and point clouds. It is intended to improve the storage and transmission of 3D graphics.
DavidKorczynski/ecdsa-python
A lightweight and fast pure Python ECDSA library
DavidKorczynski/fio
Flexible I/O Tester
DavidKorczynski/ghostpdl
This is a mirror: the canonical repo is: git.ghostscript.com/ghostpdl.git https://www.ghostscript.com
DavidKorczynski/gvisor
Application Kernel for Containers
DavidKorczynski/jazzer
Coverage-guided, in-process fuzzing for the JVM
DavidKorczynski/jsonschema
An implementation of the JSON Schema specification for Python
DavidKorczynski/libheif
libheif is an HEIF and AVIF file format decoder and encoder.
DavidKorczynski/libsbc
DavidKorczynski/linkerd2-proxy
A purpose-built proxy for the Linkerd service mesh. Written in Rust.
DavidKorczynski/linux
Linux kernel source tree
DavidKorczynski/mongoose
Embedded Web Server
DavidKorczynski/open62541
Open source implementation of OPC UA (OPC Unified Architecture) aka IEC 62541 licensed under Mozilla Public License v2.0
DavidKorczynski/opencv
Open Source Computer Vision Library
DavidKorczynski/OpenSK
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
DavidKorczynski/openssh-portable
Portable OpenSSH
DavidKorczynski/PcapPlusPlus
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, WinPcap, DPDK and PF_RING.
DavidKorczynski/python-rsa
Python-RSA is a pure-Python RSA implementation.
DavidKorczynski/python-storage
DavidKorczynski/pyxdg
PyXDG provides Python implementations of various freedesktop.org specifications. This is the Giithub mirror.
DavidKorczynski/samples
WebRTC Web demos and samples
DavidKorczynski/sublime_sphinx_guide
Sublime and Sphinx Guide
DavidKorczynski/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
DavidKorczynski/usrsctp
A portable SCTP userland stack