Integer factoring and compositeness witnesses. - Jacek Pomykala; Maciej Radziejewski (J. Math. Cryptol., 2020)