
z3 z3-5.1.0
Solutore SMT ad alte prestazioni per dimostrazione automatica di teoremi, risoluzione di vincoli e verifica di programmi. Supporta molteplici teorie…
Brevi aggiornamenti editoriali dagli strumenti di cybersecurity pubblicati.

Solutore SMT ad alte prestazioni per dimostrazione automatica di teoremi, risoluzione di vincoli e verifica di programmi. Supporta molteplici teorie…

Un'implementazione in Go ad alte prestazioni della libreria Wappalyzer per il rilevamento delle tecnologie.

un sostituto drop-in per Nmap basato su shodan.io

Un software di auditing della sicurezza WiFi basato principalmente sulla suite di strumenti aircrack-ng

Daemon per bannare host che causano multipli errori di autenticazione

App web offline e open source per la crittografia e la condivisione di file tramite passkey. AES-256-GCM/HPKE, niente cloud, niente account;…

Piattaforma automatizzata di steganalisi che rileva dati nascosti nelle immagini utilizzando 16 analizzatori paralleli, visualizzazione a livelli di…

Applica patch ai binari del kernel Android ARMv8.3 per disabilitare la verifica della firma dei driver, consentendo il caricamento di moduli kernel…

Antivirus per Android che non richiede root, adb, installazione di CA e cloud, con molte funzionalità e metodi per rilevare più malware zero-day.

Catena di gadget di deserializzazione RCE universale per Ruby 4.0 - Bozza o TODO

Stringhe tradotte per World Conqueror 4 (RU)

Una suite di strumenti offensivi e difensivi per WiFi/Bluetooth per l'ESP32