Cryptographic Protocol Efficiency via SAT solving
- Brzuska, Chris (Principal investigator)
- Karanko, Pihla (Project Member)
- Kohbrok, Konrad (Project Member)
- Alpirez Bock, Estuardo (Project Member)
- Puniamurthy, Kirthivaasan (Project Member)
- Abuzaid, Osama (Project Member)
- Tiainen, Miikka (Project Member)