GitHub / stfbk 9 Repositories
Carrying out research in cutting-edge security solutions for identity and access management, legal compliance and complex systems
stfbk/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.
Language: Python - Size: 52.4 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 46 - Forks: 14

stfbk/stfbk.github.io
Website of the Security & Trust Research Unit, in Fondazione Bruno Kessler
Language: HTML - Size: 350 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 4 - Forks: 19

stfbk/PILLAR
An AI-Powered Privacy Threat Modeling tool based on the LINDDUN framework by leveraging Large Language Models.
Language: Python - Size: 7.12 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 17 - Forks: 6

stfbk/tls-compliance-dataset
A dataset containing TLS requirements to assess a webserver's compliance with national cybersecurity agencies
Language: Python - Size: 124 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 3 - Forks: 0

stfbk/mig
Micro-ID-Gym is a software suite designed to aid security researchers and developers in testing Identity Management protocols implementations
Language: Python - Size: 78.6 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 7

stfbk/CryptoAC
CryptoAC is an open-source tool for the E2E protection of sensitive data through cryptographic enforcement of access control policies.
Language: JavaScript - Size: 941 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

stfbk/TLS-Scanner Fork of tls-attacker/TLS-Scanner
The TLS-Scanner Module from TLS-Attacker - based on @IvanValentini's work
Language: Java - Size: 13 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

stfbk/OIDC-SPID-CIE-Validator
OIDC-SPID/CIE-Validator
Language: Python - Size: 2.63 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

stfbk/mig-t
A web pentesting and compliance tool to help security testers automate their testing activites.
Language: Java - Size: 3.07 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 5

stfbk/tlsassistant-testbed
Simple and automatic test bed implementation for tlsassistant
Language: Shell - Size: 8.56 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 0

stfbk/A-Secure-and-Quality-of-Service-Aware-Solution-for-the-End-to-End-Protection-of-IoT-Applications
Language: Kotlin - Size: 102 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

stfbk/mqttsa
A tool to assist IoT developers in securing MQTT-based IoT deployments
Language: Python - Size: 9.97 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 34 - Forks: 8

stfbk/ITOTLab
An open and flexible cybersecurity training laboratory in IT/OT infrastructures
Language: C++ - Size: 25.9 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

stfbk/pullprinting
Pullprinting project developed in Security&Trust in FBK
Language: Java - Size: 28 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

stfbk/i2cns-19 📦
Language: Jupyter Notebook - Size: 303 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

stfbk/vc-saml-node
Verifiable Credentials issued and verified by SAML service providers -- a proof of concept implementation
Language: JavaScript - Size: 1.88 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

stfbk/ACME
Access Control Mechanisms Evaluator
Language: Python - Size: 22.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

stfbk/micro-id-gym
Language: JavaScript - Size: 809 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

stfbk/socrates-replication-package 📦
SoCRATES is framework for Ethereum Smart Contract test cases generation
Language: Jupyter Notebook - Size: 27.2 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

stfbk/mallodroid Fork of sfahl/mallodroid
Find broken SSL certificate validation in Android Apps
Language: Python - Size: 24.4 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

stfbk/ACE
AC state-change rule extraction procedurE
Language: Python - Size: 403 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

stfbk/PolicySimulator 📦
A Simulation Framework for the Experimental Evaluation of Access Control Enforcement Mechanisms based on Business Processes
Language: Python - Size: 21.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

stfbk/MSRMP
Multi-Stakeholder Risk Assessment Tool
Language: Java - Size: 381 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

stfbk/AuBACE
Audit-Based Access Control Enforcement (AuBACE) is a DLT-oriented framework to support controlled information sharing
Language: Go - Size: 3.9 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

stfbk/CryptoAC_IoT_Evaluation
Optimizing Security and Quality of Service for End-to-End Cryptographic Access Control in IoT Applications
Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

stfbk/TDSC2022_SymbolicAnalysis
Language: ReScript - Size: 48.8 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

stfbk/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).
Size: 55.7 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

stfbk/mIDAssistant_iGov
An Android Studio Plugin to Integrate OpenID Connect iGov Profile within Native Apps
Language: Java - Size: 175 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

stfbk/SECRYPT2021 📦
Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

stfbk/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".
Language: Java - Size: 218 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

stfbk/mIDAssistant
Language: Java - Size: 896 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
