Stars
OONI Explorer: uncover evidence of internet censorship worldwide
LLM Zoomcamp - a free online course about building a Q&A system
Hallo: Hierarchical Audio-Driven Visual Synthesis for Portrait Image Animation
A fork of AFL for fuzzing Windows binaries
A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM and embedded RISC-V architectures.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
A tool for quickly evaluating IAM permissions in AWS.
The MSR Ironclad project builds provably secure and reliable systems.
Create single line illustrations from your pictures. Get a drawing, SVG or coordinates for a CNC.
Algorand SDK for .Net Framework to interact with the Algorand network
An enterprise-class UI design language and React UI library
Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.
C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain
RNA vaccines have become a key tool in moving forward through the challenges raised both in the current pandemic and in numerous other public health and medical challenges. With the rollout of vacc…
Dafny is a verification-aware programming language
Beautiful calculator app for macOS, Linux & Windows
A Rust library for lattice-based additive homomorphic encryption.
Provable adversarial robustness at ImageNet scale
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Adversarial Threat Landscape for AI Systems
PyTorch implementation for Head2Head and Head2Head++. It can be used to fully transfer the head pose, facial expression and eye movements from a source video to a target identity.