Zobrazeno 1 - 10
of 500
pro vyhledávání: '"TAN, BRYAN"'
Formal verification of datapath circuits is challenging as they are subject to intense optimization effort in the design phase. Industrial vendors and design companies deploy equivalence checking against a golden or existing reference design to satis
Externí odkaz:
http://arxiv.org/abs/2308.00431
Autor:
Liu, Junrui, Kretz, Ian, Liu, Hanzhi, Tan, Bryan, Wang, Jonathan, Sun, Yi, Pearson, Luke, Miltner, Anders, Dillig, Işıl, Feng, Yu
Zero-knowledge (ZK) proof systems have emerged as a promising solution for building security-sensitive applications. However, bugs in ZK applications are extremely difficult to detect and can allow a malicious party to silently exploit the system wit
Externí odkaz:
http://arxiv.org/abs/2304.07648
Autor:
Moorthy, Vikaesh, Chua, Ivan Tjun Huat, Tan, Sze Ern, Pillai, Anand, Tan, Bryan Yijia, Yam, Michael Gui Jie
Publikováno v:
In Journal of Orthopaedics November 2024 57:60-64
Autor:
Tan, Bryan Joseph Y.1 bytan1@up.edu.ph, Blas, Julianna A.1, Quismundo, Kayla Mae V.1, Bertuso, Arlene G.1
Publikováno v:
Philippine Journal of Science. Aug2024, Vol. 153 Issue 4, p1285-1303. 19p.
As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relevance in this context are arithmetic overflow bugs, as integers are oft
Externí odkaz:
http://arxiv.org/abs/2110.00677
Autor:
Tan, Bryan Y. #, ##, Yang, Su-Yin †, Pereira, Michelle J. ‡, Tan, Chun Yue #, Lim, Chien Joo #, Ng, Julia P. §, Lee, Keng Thiam §, Pua, Yong Hao ¶, Briggs, Andrew M. ∥, Hunter, David J. ##, Skou, Soren T. ††, ‡‡, Thumboo, Julian §§, ¶¶, Car, Josip ∥∥
Publikováno v:
In Osteoarthritis and Cartilage August 2024 32(8):972-981
Publikováno v:
In JSES International May 2024 8(3):440-445
Autor:
Pua, Yong-Hao #, †, *, Yeo, Seng-Jin, Clark, Ross Allan §, Tan, Bryan Yijia ¶, ∥, Haines, Terry ##, Bettger, Janet Prvu ††, Woon, Ee-Lin #, Tan, Hong Han #, Tan, John Wei-Ming #, Low, Juanita #, Chew, Eleanor #, Thumboo, Julian †, ‡‡, §§
Publikováno v:
In Osteoarthritis and Cartilage May 2024 32(5):601-611
Publikováno v:
In Journal of Shoulder and Elbow Surgery
Publikováno v:
In Trends in Cardiovascular Medicine October 2023 33(7):442-455