Bo-Yin Yang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
53
Venues
25
Active years
2003–2026
Best venue rank
A*
Where they publish
- CPQCrypto7 papers
- ACHES6 papers
- A*CCS4 papers
- A*EuroCrypt3 papers
- AustralasianACISP3 papers
- A*CAV3 papers
- BPKC3 papers
- BACNS2 papers
- NationalINDOCRYPT2 papers
- CICICS2 papers
- NationalIWSEC2 papers
- AASIACRYPT2 papers
- NationalICISC2 papers
- A*NDSS1 paper
- AESORICS1 paper
- BCONCUR1 paper
- BISSAC1 paper
- BCANS1 paper
- NationalSCN1 paper
- NationalWISA1 paper
- AACSAC1 paper
- AMobisys1 paper
- A*ICALP1 paper
- A*MOBICOM1 paper
- A*FSE1 paper
Papers
53 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroCrypt | Accelerating and verifying constant-time modular inversion. | Daniel J. Bernstein, Han-Ting Chen, John R. Harrison, Cesare Huang, Gregory Maxwell, Bow-Yaw Wang, Pieter Wuille, Bo-Yin Yang |
| 2025 | CCS | Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Lionel Blatter, Gustavo Xavier Delerue Marinho Alves, Joo Diogo Duarte, Benjamin Grgoire, Tiago Oliveira, Miguel Quaresma, Pierre-Yves Strub, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2025 | NDSS | PQConnect: Automated Post-Quantum End-to-End Tunnels. | Daniel J. Bernstein, Tanja Lange, Jonathan Levin, Bo-Yin Yang |
| 2024 | ACISP | Jumping for Bernstein-Yang Inversion. | Li-Jie Jian, Ting-Yuan Wang, Bo-Yin Yang, Ming-Shing Chen |
| 2024 | ACNS | Algorithmic Views of Vectorized Polynomial Multipliers - NTRU Prime. | Vincent Hwang, Chi-Ting Liu, Bo-Yin Yang |
| 2024 | ESORICS | Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. | Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | Certified Verification for Algebraic Abstraction. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | CoqCryptoLine: A Verified Model Checker with Certified Results. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | INDOCRYPT | Algorithmic Views of Vectorized Polynomial Multipliers - NTRU. | Han-Ting Chen, Yi-Hua Chung, Vincent Hwang, Bo-Yin Yang |
| 2022 | ICICS | Secure Boolean Masking of Gimli - Optimization and Evaluation on the Cortex-M4. | Tzu-Hsien Chang, Yen-Ting Kuo, Jiun-Peng Chen, Bo-Yin Yang |
| 2022 | IWSEC | Efficient Multiplication of Somewhat Small Integers Using Number-Theoretic Transforms. | Hanno Becker, Vincent Hwang, Matthias J. Kannwischer, Lorenz Panny, Bo-Yin Yang |
| 2021 | CAV | CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. | Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2021 | EuroCrypt | The Nested Subset Differential Attack - A Practical Direct Attack Against LUOV Which Forges a Signature Within 210 Minutes. | Jintai Ding, Joshua Deaton, Vishakha, Bo-Yin Yang |
| 2021 | PQCrypto | Verifying Post-Quantum Signatures in 8 kB of RAM. | Ruben Gonzalez, Andreas Hlsing, Matthias J. Kannwischer, Juliane Krmer, Tanja Lange, Marc Stttinger, Elisabeth Waitz, Thom Wiggers, Bo-Yin Yang |
| 2019 | CCS | Signed Cryptographic Program Verification with Typed CryptoLine. | Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2018 | CONCUR | Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). | Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2018 | ISSAC | Frobenius Additive Fast Fourier Transform. | Wen-Ding Li, Ming-Shing Chen, Po-Chun Kuo, Chen-Mou Cheng, Bo-Yin Yang |
| 2018 | PQCrypto | Asymptotically Faster Quantum Algorithms to Solve Multivariate Quadratic Equations. | Daniel J. Bernstein, Bo-Yin Yang |
| 2018 | PQCrypto | Implementing Joux-Vitse's Crossbred Algorithm for Solving MQ Systems over GF(2) on GPUs. | Ruben Niederhagen, Kai-Chun Ning, Bo-Yin Yang |
| 2017 | CCS | Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs. | Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2017 | PQCrypto | HMFEv - An Efficient Multivariate Signature Scheme. | Albrecht Petzoldt, Ming-Shing Chen, Jintai Ding, Bo-Yin Yang |
| 2016 | CANS | Multi-core FPGA Implementation of ECC with Homogeneous Co-Z Coordinate Representation. | Bo-Yuan Peng, Yuan-Che Hsu, Yu-Jia Chen, Di-Chia Chueh, Chen-Mou Cheng, Bo-Yin Yang |
| 2015 | ASIACRYPT | Design Principles for HFEv- Based Multivariate Signature Schemes. | Albrecht Petzoldt, Ming-Shing Chen, Bo-Yin Yang, Chengdong Tao, Jintai Ding |
| 2014 | CCS | Verifying Curve25519 Software. | Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang |
| 2014 | IWSEC | Hydra: An Energy-Efficient Programmable Cryptographic Coprocessor Supporting Elliptic-Curve Pairings over Fields of Large Characteristics. | Yun-An Chang, Wei-Chih Hong, Ming-Chun Hsiao, Bo-Yin Yang, An-Yeu Wu, Chen-Mou Cheng |
| 2013 | PQCrypto | Degree of Regularity for HFEv and HFEv-. | Jintai Ding, Bo-Yin Yang |
| 2012 | CHES | Solving Quadratic Equations with XL on Parallel Architectures. | Chen-Mou Cheng, Tung Chou, Ruben Niederhagen, Bo-Yin Yang |
| 2012 | PKC | Public-Key Cryptography from New Multivariate Quadratic Assumptions. | Yun-Ju Huang, Feng-Hao Liu, Bo-Yin Yang |
| 2012 | SCN | Probabilistically Correct Secure Arithmetic Computation for Modular Conversion, Zero Test, Comparison, MOD and Exponentiation. | Ching-Hua Yu, Bo-Yin Yang |
| 2012 | WISA | Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs. | Satoshi Tanaka, Tung Chou, Bo-Yin Yang, Chen-Mou Cheng, Kouichi Sakurai |
| 2011 | CHES | High-Speed High-Security Signatures. | Daniel J. Bernstein, Niels Duif, Tanja Lange, Peter Schwabe, Bo-Yin Yang |
| 2011 | CHES | Extreme Enumeration on GPU and in Clouds - - How Many Dollars You Need to Break SVP Challenges -. | Po-Chun Kuo, Michael Schneider, zgr Dagdelen, Jan Reichelt, Johannes Buchmann, Chen-Mou Cheng, Bo-Yin Yang |
| 2010 | ASIACRYPT | Efficient String-Commitment from Weak Bit-Commitment. | Kai-Min Chung, Feng-Hao Liu, Chi-Jen Lu, Bo-Yin Yang |
| 2010 | CHES | Fast Exhaustive Search for Polynomial Systems in | Charles Bouillaguet, Hsieh-Chung Chen, Chen-Mou Cheng, Tung Chou, Ruben Niederhagen, Adi Shamir, Bo-Yin Yang |
| 2010 | INDOCRYPT | ECC2K-130 on NVIDIA GPUs. | Daniel J. Bernstein, Hsieh-Chung Chen, Chen-Mou Cheng, Tanja Lange, Ruben Niederhagen, Peter Schwabe, Bo-Yin Yang |
| 2009 | ACSAC | A Study of User-Friendly Hash Comparison Schemes. | Hsu-Chun Hsiao, Yue-Hsun Lin, Ahren Studer, Cassandra Studer, King-Hang Wang, Hiroaki Kikuchi, Adrian Perrig, Hung-Min Sun, Bo-Yin Yang |
| 2009 | CHES | SSE Implementation of Multivariate PKCs on Modern x86 CPUs. | Anna Inn-Tung Chen, Ming-Shing Chen, Tien-Ren Chen, Chen-Mou Cheng, Jintai Ding, Eric Li-Hsiang Kuo, Frost Yu-Shuang Lee, Bo-Yin Yang |
| 2009 | EuroCrypt | ECM on Graphics Cards. | Daniel J. Bernstein, Tien-Ren Chen, Chen-Mou Cheng, Tanja Lange, Bo-Yin Yang |
| 2009 | Mobisys | SPATE: small-group PKI-less authenticated trust establishment. | Yue-Hsun Lin, Ahren Studer, Hsu-Chun Hsiao, Jonathan M. McCune, King-Hang Wang, Maxwell N. Krohn, Phen-Lan Lin, Adrian Perrig, Hung-Min Sun, Bo-Yin Yang |
| 2008 | ACNS | New Differential-Algebraic Attacks and Reparametrization of Rainbow. | Jintai Ding, Bo-Yin Yang, Chia-Hsin Owen Chen, Ming-Shing Chen, Chen-Mou Cheng |
| 2008 | ICALP | Could SFLASH be Repaired?. | Jintai Ding, Vivien Dubois, Bo-Yin Yang, Chia-Hsin Owen Chen, Chen-Mou Cheng |
| 2008 | MOBICOM | GAnGS: gather, authenticate 'n group securely. | Chia-Hsin Owen Chen, Chung-Wei Chen, Cynthia Kuo, Yan-Hao Lai, Jonathan M. McCune, Ahren Studer, Adrian Perrig, Bo-Yin Yang, Tzong-Chen Wu |
| 2008 | PQCrypto | Practical-Sized Instances of Multivariate PKCs: Rainbow, TTS, and lIC-Derivatives. | Anna Inn-Tung Chen, Chia-Hsin Owen Chen, Ming-Shing Chen, Chen-Mou Cheng, Bo-Yin Yang |
| 2008 | PQCrypto | Secure PRNGs from Specialized Polynomial Maps over Any . | Feng-Hao Liu, Chi-Jen Lu, Bo-Yin Yang |
| 2007 | FSE | Analysis of QUAD | Bo-Yin Yang, Chia-Hsin Owen Chen, Daniel J. Bernstein, Jiun-Ming Chen |
| 2007 | PKC | Untitled record | Jintai Ding, Christopher Wolf, Bo-Yin Yang |
| 2005 | ACISP | Building Secure Tame-like Multivariate Public-Key Cryptosystems: The New TTS. | Bo-Yin Yang, Jiun-Ming Chen |
| 2005 | PKC | Tractable Rational Map Signature. | Lih-Chung Wang, Yuh-Hua Hu, Feipei Lai, Chun-yen Chou, Bo-Yin Yang |
| 2004 | ACISP | Theoretical Analysis of XL over Small Fields. | Bo-Yin Yang, Jiun-Ming Chen |
| 2004 | CHES | TTS: High-Speed Signatures on a Low-Cost Smart Card. | Bo-Yin Yang, Jiun-Ming Chen, Yen-Hung Chen |
| 2004 | ICICS | On Asymptotic Security Estimates in XL and Grbner Bases-Related Algebraic Cryptanalysis. | Bo-Yin Yang, Jiun-Ming Chen, Nicolas T. Courtois |
| 2004 | ICISC | All in the XL Family: Theory and Practice. | Bo-Yin Yang, Jiun-Ming Chen |
| 2003 | ICISC | A More Secure and Efficacious TTS Signature Scheme. | Jiun-Ming Chen, Bo-Yin Yang |