Během druhé fáze projektu se má modelování prostřednictvím polynomních systémů ještě lépe přizpůsobit kombinaci solveru okrajové báze s SAT solverem. Postupy řešení budou doplněny o novodobé přístupy (parciální #SAT, aproximativní #SAT). Kromě toho budou zkoumány interakce mezi chybovými útoky a jinými útoky na hardware.
Datum
|
1. 3. 2015 - 31. 3. 2019 |
Země
|
DE |
Organizace
|
Univerzita Passau |
V rámci projektu
|
Fakulta informatiky a matematiky Katedra Mathematik mit Schwerpunkt Symbolic Computation |
Odkaz
|
afa.fim.uni-passau.de |
Rámec a program financování
|
Výzkumný grant |
