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.

SBMD page

_______________________________________________________________________

Cryptimeleon

Cryptimeleon is a software library that makes it easy for cryptographers to prototype their constructions.

Cryptimeleon page

_______________________________________________________________________

CoDiDroid

The CoDiDroid framework allows to build cooperative Android app analysis.

   -> CoDiDroid page

 

_______________________________________________________________________

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

 

_______________________________________________________________________

Further information:

Projects Project Area A Project Area B Project Area C Project Area T Tools and Demonstration Systems Tools from the 1st Funding Period Tools from the 2nd Funding Period Tools from the 3rd Funding Period