Back to search

IKTPLUSS-IKT og digital innovasjon

Forskerpool PROSA SECURITY AS

Awarded: NOK 73,749

We have two new industrial cases (one with NTNU and another one is a security vendor), where they have massive use of XOR operations, which PROSA does not support, and thus requires unnecessary manual work during protocol modeling and analysis. Therefore, we need help to overcome this limitation and enhance its capability by supporting this operation in the PROSA tool.

Activity:

IKTPLUSS-IKT og digital innovasjon