François De Keersmaeker's repositories
mozart-container
A Docker container to accommodate Mozart 1.4.0 on 64-bit architectures
bibtex-shortener
Shorten bibtex files.
fastclick
FastClick - A faster version of the Click Modular Router featuring batching, advanced multi-processing and improved Netmap and DPDK support (ANCS'15). Check the metron branch for Metron specificities (NSDI'18). PacketMill modifications (ASPLOS'21) as well as MiddleClick(ToN, 2021) are merged in main.
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
lorawan-smart-lln
François DE KEERSMAEKER & Nicolas VAN DE WALLE master's thesis at UCLouvain
LSINF2345_20-21_Project
The project of the MSc course "Languages and Algorithms for Distributed Applications" @ UCLouvain, Belgium (scholar year 2020-2021).
mud-translator
Translate MUD profiles (JSON/XML) to YAML extended profiles.
smart-speakers-study
PETS2020 data and code for paper "When Speakers Are All Ears: Characterizing Misactivations of IoT Smart Speakers"
spicy-analyzers
Growing collection of Spicy-based protocol and file analyzers for Zeek
SyllabusC_Systeme
Syllabus d'apprentissage du langage C et des systèmes informatiques pour ingénieurs et informaticiens
resume-one-page
A one page , two asymmetric column resume template in XeTeX that caters to an undergraduate Computer Science student
trace-the-wumpus
Trace the Wumpus game implementation, leveraging Docker containers and Scapy.