Forskerpool PROSA SECURITY AS

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