eth-sri / bayonetView external linksLinks
Probabilistic Computer Network Analysis
☆20Dec 8, 2018Updated 7 years ago
Alternatives and similar repositories for bayonet
Users that are interested in bayonet are comparing it to the libraries listed below
Sorting:
- ☆16Oct 26, 2020Updated 5 years ago
- Formal Semantics of P4 in K☆20May 21, 2021Updated 4 years ago
- Constraints on P4 objects enforced at runtime☆17Oct 30, 2025Updated 3 months ago
- Firmware Reversing Repo :p☆17Oct 11, 2015Updated 10 years ago
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 7 years ago
- Set of tutorials that use PINS☆25Oct 31, 2022Updated 3 years ago
- BGP Route Leaks Detection☆71Dec 7, 2018Updated 7 years ago
- Project for Alike Backup, a BDR solution for XenServer, XCP-ng, and Hyper-V virtualization platforms☆12Sep 18, 2024Updated last year
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Apr 11, 2024Updated last year
- CVE-2014-0160 (Heartbeat Buffer over-read bug)☆16May 3, 2014Updated 11 years ago
- ☆10Feb 6, 2026Updated last week
- A graph-based static-dynamic hybrid DEX code analysis tool☆41Apr 29, 2018Updated 7 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Sep 18, 2025Updated 4 months ago
- Finding bugs in P4 compilers using translation validation.☆38Nov 4, 2025Updated 3 months ago
- An interactive textbook to learn computer graphics using WebGL.☆10Mar 24, 2018Updated 7 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- A bunch of mostly unrelated tools and code samples that may help the Cognos administrator, modeler, or report developer.☆12Aug 14, 2024Updated last year
- OpenVPN Install Script☆13Dec 31, 2022Updated 3 years ago
- Windows Update KB971513 for IUIAutomation, The XP version link is dead on https://support.microsoft.com/en-us/kb/971513. Here is a copy.☆12Oct 20, 2016Updated 9 years ago
- ☆10Aug 20, 2018Updated 7 years ago
- Find your router's default password☆14Apr 7, 2015Updated 10 years ago
- MiHome is an open source environmental sensor. It was designed to provide students and researchers a cheap and reliable data platform. Us…☆10Feb 25, 2023Updated 2 years ago
- PowerShell clients for the Canvas LMS APIs☆13May 24, 2021Updated 4 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated last year
- ZFS over iSCSI on FreeNAS 9.3 (API) from Proxmox☆13Aug 9, 2023Updated 2 years ago
- A proof of concept for Joomla's CVE-2015-8562 vulnerability (Object Injection RCE)☆10May 3, 2024Updated last year
- A powerful AI chat application that enables human-like conversation with fully animated AI characters.☆13Dec 7, 2024Updated last year
- Libraries, firmwares and headers used by OpenPLC (can be used to add OpenPLC support to Arduino IDE 1.5.x)☆12Sep 30, 2014Updated 11 years ago
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- Labs using GPT-4o with Semantic Kernel☆11Jun 24, 2024Updated last year
- ☆11May 30, 2023Updated 2 years ago
- build system to cross-compile cydia packages for cydia.radare.org☆10Aug 23, 2019Updated 6 years ago
- Python Code that has a simple interface, for using the Canvas LMS API. In addition, there is a class that downloads data from a specific …☆11May 13, 2016Updated 9 years ago
- NS3 module for simulating DOCSIS 3.1 links☆16Apr 5, 2024Updated last year
- Using Shodan to get a breakdown of the most common key names in public Redis servers.☆13Dec 10, 2017Updated 8 years ago
- Simple File Solution (SFS) Client☆17Jan 22, 2026Updated 3 weeks ago
- Settings Editor is an Xposed Module that allows you to easily modify your Android Settings app to your likings by adding, editing or remo…☆12Aug 17, 2020Updated 5 years ago
- A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot environment for laptops and servers.☆13Apr 7, 2022Updated 3 years ago
- JavaScript project template for creating an Office taskpane add-in that uses SSO.☆12Feb 7, 2026Updated last week