1. Research
  2. Publications

Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Barbosa, Manuel  [Clear All Filters]
2023
M. Barbosa, Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., Huang, Y. - H., Hülsing, A., Lee, Y., and Wu, X., “Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium”, in Advances in Cryptology – CRYPTO 2023, Cham, 2023.