Highlights
- Pro
Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- Arduino
- Assembly
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Circom
- Coq
- D
- Dockerfile
- GSC
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- M4
- MATLAB
- Makefile
- Mustache
- Nextflow
- OpenSCAD
- Pascal
- Perl
- Python
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- TeX
- TypeScript
- VHDL
- Verilog
- WebAssembly
OSCP prep checklist - study plan, exam structure, tools, and methodology
Control for Tapo cameras as a Home Assistant component
Reverse Engineering the TP-Link Tapo C200 camera
Binary Analysis Next Generation (BANG)
Platform for emulation and dynamic analysis of Linux-based firmware
Automatic modeling of hardware to enable the rehosting of embedded firmware
FirmSec Dataset
Python reference implementation of The Update Framework (TUF)
Encrypted Network Traffic Classification using Deep Learning
Mon(IoT)r Lab Testbed Software - Core Component
Datasets and code for IMC'19 paper on information exposure from IoT devices
Python wrapper for tshark, allowing python packet parsing using wireshark dissectors
This is the code repository for the paper 'Site Attestation: Browser-based Remote Attestation', which was presented at the 18th EuroSec workshop co-located with the EuroSys'25 conference.
The Update Framework specification
privacy-preserving en-route filtering of OSCORE-NG traffic
Code for the paper "Attesting Distributional Properties of Training Data for Machine Learning" to appear in ESORICS 2024.
The results of my small term paper on the topic of the Internet of Vulnerable Things and the exploit for CVE-2022-48194.
The Firmware Security Testing Methodology (FSTM) is composed of nine stages tailored to enable security researchers, software developers, consultants, and Information Security professionals with co…