Project details
Title: Formal Modeling and Proving Cryptographic Properties of the Optin Sensor Protocol
Members:
- Zoltán L. Németh
- Tamás Dékány
- Tamás Lautner
- Tamás Bitó
- Roland Nagy
Period: 2018.01.01. - 2018.12.31.
Industrial partner: OPTIN Kft.
Funded by: EFOP-3.6.2-16-2017-00015 Project