Tools and demonstration systems developed in the third funding period
Situational Business Model Developer
The Situational Business Model Developer (SBMD) supports situation-specific business model development by adjusting the development methods as well as the business models to the actual situation of the developing organization.
_______________________________________________________________________
Cryptimeleon
Cryptimeleon is a software library that makes it easy for cryptographers to prototype their constructions.
_______________________________________________________________________
CoDiDroid
The CoDiDroid framework allows to build cooperative Android app analysis.
_______________________________________________________________________
AMT
The Android Merge Tool (AMT) allows to merge multiple apps into a single one while maintaining analyzability.
-> AMT page
_______________________________________________________________________
Jicer
A static slicer based on Soot and Jimple that can be employed in cooperative analysis contexts.
-> Jicer page
_______________________________________________________________________
MLCheck
A testing tool for testing ML models with respect to the tester specified properties
-> MLCheck page
_______________________________________________________________________