Discover projects, groups and snippets. Share your projects with others
Tamarin Prover on the Luxembourg HPC
DemaRQ: Demarcator for ReQuirements
Tool to draw the templates of chaotic attractors.
Emerging Inter-Swarm Collaboration for Surveillance Using Pheromones and Evolutionary Techniques
A Competitive Predator-Prey Approach to Enhance Surveillance by UAV Swarms
UAV-UGV-UMV Multi-Swarms for Cooperative Surveillance
CONSOLE: Intruder Detection Using a UAV Swarm and Security Rings
SuSy-EnGaD: Surveillance System Enhanced by Games of Drones.
AVXSIKE is a software library of AVX-512 implementations (using AVX-512IFMA extension) of Supersingular Isogeny Key Encapsulation (SIKE).