software

• WAP - automatic Web Application Protection (21,400 downloads!) (also a OWASP project) - static analysis tool for PHP web applications
• RRP/EDGAR - Range-Revocable Pseudonyms for backward unlinkability
• Tracer - Blockchain for Supply Chain Traceability and Governance in the Agri-food Sector
• C2BID and DynIDS - cluster-based network intrusion detection schemes
• SRX - SGX Recovery Extension - Intel SGX extensions for securely moving data between enclaves
• TRX - TrustZone Recovery eXtension - ARM TrustZone extensions for securely moving data between TEEs
• Qualichain - consortium of organizations management with Ethereum-based smart contracts
• BlockSim - a discrete event Blockchain simulator
• GT-Tool 1 and GT-Tool 2 - static analysis tool for web applications extensible for several languages
• MERLIN - Multi-Language Web Vulnerability Detection - static analysis tool for web applications in several languages
• PSMA - Programmable Sandbox for Malware Analysis - malware dynamic analysis system for programmable and repeatable experiments
• SafeCloudFS/RockFS - single cloud and cloud-of-clouds file system resilient to client side attacks
• MIRES - intrusion recovery system for Backed-as-a-Service / mobile applications
• Rectify - black-box intrusion recovery system for PaaS clouds
• MultiTLS - middleware based on diversity and tunneling for keeping communication channels secure even when new vulnerabilities are discovered
• PREMIUM - Private REactive MultIpath commUnication Middleware - secure communications using multiple communication paths
• DepSky cloud-of-clouds storage - secure and dependable cloud storage using a set of clouds
• MinBFT, MinZyzzyna, Spinning and EBAWA - Byzatine fault-tolerant replication libraries (MinBFT in the Hyperledger project)
• RITAS - Randomized Intrusion-Tolerant Asynchronous Services - randomized BFT library