| 2025 | SP | Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt. | Jos Bacelar Almeida, Gustavo Xavier Delerue Marinho Alves, Manuel Barbosa, Gilles Barthe, Lus Esquvel, Vincent Hwang, Tiago Oliveira, Hugo Pacheco, Peter Schwabe, Pierre-Yves Strub |
| 2024 | ACISP | Pushing the Limit of Vectorized Polynomial Multiplications for NTRU Prime. | Vincent Hwang |
| 2024 | ACNS | Algorithmic Views of Vectorized Polynomial Multipliers - NTRU Prime. | Vincent Hwang, Chi-Ting Liu, Bo-Yin Yang |
| 2024 | IWSEC | Formal Verification of Emulated Floating-Point Arithmetic in Falcon. | Vincent Hwang |
| 2023 | INDOCRYPT | Algorithmic Views of Vectorized Polynomial Multipliers - NTRU. | Han-Ting Chen, Yi-Hua Chung, Vincent Hwang, Bo-Yin Yang |
| 2022 | ACNS | Faster Kyber and Dilithium on the Cortex-M4. | Amin Abdulrahman, Vincent Hwang, Matthias J. Kannwischer, Amber Sprenkels |
| 2022 | IWSEC | Efficient Multiplication of Somewhat Small Integers Using Number-Theoretic Transforms. | Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang |