Security & Trust's repositories
tlsassistant
An open-source modular framework capable of identifying a wide range of TLS vulnerabilities and assessing compliance with multiple guidelines. Its actionable report can assist the user in correctly and easily fixing their configurations.
stfbk.github.io
Website of the Security & Trust Research Unit, in Fondazione Bruno Kessler
pullprinting
Pullprinting project developed in Security&Trust in FBK
vc-saml-node
Verifiable Credentials issued and verified by SAML service providers -- a proof of concept implementation
mallodroid
Find broken SSL certificate validation in Android Apps
mIDAssistant_iGov
An Android Studio Plugin to Integrate OpenID Connect iGov Profile within Native Apps
Mitigating-Debugger-based-Attacks-to-Java-Applications-with-Self-Debugging
This repository collects complementary material for the article "Mitigating Debugger-based Attacks to Java Applications with Self-Debugging".
CODASPY2020_FormalAnalysis
This repository contains the complementary files referred to in the paper "The Good, the Bad and the (Not So) Ugly of Out-Of-Band Authentication with eID Cards and Push Notifications: Design, Formal and Risk Analysis", accepted to the 10th ACM Conference on Data and Application Security and Privacy (CODASPY ‘20).
socrates-replication-package
SoCRATES is framework for Ethereum Smart Contract test cases generation
tls-compliance-dataset
A dataset containing TLS requirements to assess a webserver's compliance with national cybersecurity agencies
TLS-Scanner
The TLS-Scanner Module from TLS-Attacker - based on @IvanValentini's work