stfbk Goto Github PK

.github

ace

AC state-change rule extraction procedurE

acme

Access Control Mechanisms Evaluator

aubace

Audit-Based Access Control Enforcement (AuBACE) is a DLT-oriented framework to support controlled information sharing

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).

cryptoac

CryptoAC is an open-source tool for the E2E protection of sensitive data through cryptographic enforcement of access control policies.

i2cns-19

itotlab

An open and flexible cybersecurity training laboratory in IT/OT infrastructures

mallodroid

Find broken SSL certificate validation in Android Apps

micro-id-gym

midassistant

midassistant_igov

An Android Studio Plugin to Integrate OpenID Connect iGov Profile within Native Apps

mig

Micro-ID-Gym is a software suite designed to aid security researchers and developers in testing Identity Management protocols implementations

mig-t

A web pentesting and compliance tool to help security testers automate their testing activites.

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".

mqttsa

A tool to assist IoT developers in securing MQTT-based IoT deployments

msrmp

Multi-Stakeholder Risk Assessment Tool

optimizing-security-and-quality-of-service-for-end-to-end-cryptographic-access-control

pullprinting

Pullprinting project developed in Security&Trust in FBK

secrypt2021

socrates-replication-package

SoCRATES is framework for Ethereum Smart Contract test cases generation

stfbk.github.io

Website of the Security & Trust Research Unit, in Fondazione Bruno Kessler

tdsc2022_symbolicanalysis

tls-scanner

The TLS-Scanner Module from TLS-Attacker - based on @IvanValentini's work

tls-table

Generates mappings between IANA TLS hex values and their corresponding cipher names in GnuTLS, NSS, and OpenSSL

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.

vc-saml-node

Verifiable Credentials issued and verified by SAML service providers -- a proof of concept implementation