Given an input PQE in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. PolyQEnt is written in Python ...
Abstract: Existing communication protocols based on public key cryptography (PKC) functions will no longer be secure in the quantum era. NIST has released standards for key encapsulation and digital ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback