-
University of Verona
- Padova, Italy
- donadelden.github.io
- https://orcid.org/0000-0002-7050-9369
- @selesnia.bsky.social
Highlights
- Pro
-
NetworkSecurityLab Public
Network Security Lab Material (University of Verona)
Python UpdatedDec 10, 2025 -
SSRA-PoC Public
Proof of Concept for the SSRA: A Secure Social Robot Architecture project
Rust UpdatedDec 5, 2025 -
sec-deadlines.github.io Public
Forked from sec-deadlines/sec-deadlines.github.ioDeadline countdowns for academic conferences in Security and Privacy
HTML UpdatedDec 2, 2025 -
awesome-ics-malware Public
An (updated) list of known ICS malware
-
-
ClassificoneBot Public
Bot to help organizing music suggestions in our friends group
Python UpdatedNov 3, 2025 -
SimProcess Public
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes
-
CANTXSec Public
CANTXSec: A Deterministic Intrusion Detection and Prevention System for CAN Bus Monitoring ECU Activations
-
DHALSIM Public
Forked from Critical-Infrastructure-Systems-Lab/DHALSIMDigital Twin for Water Distribution Systems. A work by the SUTD Critical Infrastructure Systems Lab, TU Delft, CISPA, and iTrust
Python MIT License UpdatedMar 11, 2025 -
-
lightweight-ICS-simulators Public
Forked from mattiasanti99/lightweight_physical_process_simulators_ICS_honeypotPython UpdatedFeb 13, 2025 -
tamarin-prover Public
Forked from tamarin-prover/tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Haskell GNU General Public License v3.0 UpdatedSep 14, 2024 -
RiskInDroid Public
Forked from anurag3301/RiskInDroidA tool for quantitative risk analysis of Android applications based on machine learning techniques
Python MIT License UpdatedJun 26, 2024 -
ikea-rodulf-eps32 Public
Forked from ekv88/ikea-rodulf-eps32ESP32 tutorial for hacking your IKEA Rodulf to support web API
C++ MIT License UpdatedApr 10, 2024 -
nps_payload Public
Forked from trustedsec/nps_payloadThis script will generate payloads for basic intrusion detection avoidance. It utilizes publicly demonstrated techniques from several different sources. Written by Larry Spohn (@Spoonman1091) Paylo…
Python Other UpdatedNov 30, 2023 -
evil-ssdp Public
Forked from initstring/evil-ssdpSpoof SSDP replies and create fake UPnP devices to phish for credentials and NetNTLM challenge/response.
Python MIT License UpdatedNov 14, 2023 -
SecLists Public
Forked from danielmiessler/SecListsSecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, se…
PHP MIT License UpdatedNov 3, 2023 -
ActionsClassificationMobileApps Public archive
Classification of actions of mobile apps by looking at encrypted packets
-
EVExchange Public
Tools related to the EVExchange attack and countermeasure
Python UpdatedNov 2, 2021 -
miniV2Gnet Public archive
Forked from mininet/mininetThis is an old work. Please refer to miniV2G:
-
minicps Public
Forked from scy-phy/minicpsMiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet
Python MIT License UpdatedNov 6, 2020 -
vulnerable-grades-awas Public
A vulnerable web application for the AWAS course
-
brexitCommunities Public
Study of the communities inside the European Parliament before and after the Brexit vote
Jupyter Notebook GNU Lesser General Public License v3.0 UpdatedApr 23, 2020 -
coinsDetection Public
Software who can recognize coins and detect them value (Computer Vision course project)
C++ GNU General Public License v3.0 UpdatedApr 23, 2020 -
docker-openplc Public
Forked from jpaffrath/docker-openplc🐳 Docker container for OpenPLC Server
Shell UpdatedDec 26, 2019