1. Ajani, Y., Bright, C.: A hybrid SAT and lattice reduction approach for integer factorization. In: Ábrahám, E., Sturm, T. (eds.) SC-Square@ISSAC. CEUR Workshop Proceedings, vol. 3455, pp. 39–43. CEUR-WS.org (2023). https://ceur-ws.org/Vol-3455/short1.pdf
2. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reason. 52(2), 123–153 (2014). https://doi.org/10.1007/s10817-013-9284-7
3. Barbosa, M., Barthe, G., Bhargavan, K., Blanchet, B., Cremers, C., Liao, K., Parno, B.: SoK: computer-aided cryptography. In: SP, pp. 777–795. IEEE (2021). https://doi.org/10.1109/SP40001.2021.00008
4. Barth, B.: Estonia suspends national 760,000 ID cards found prone to encryption vulnerability. SC Magazine (2017). https://www.scmagazine.com/news/estonia-suspends-national-760000-id-cards-found-prone-to-encryption-vulnerability
5. Lecture Notes in Computer Science;G Barthe,2011