• Sign in
  • Sign up
conf.researchr.org / Ming-Hsien Tsai
  • ASE 2019 profile
  • ESEC/FSE 2023 profile
  • PLDI 2018 profile
No Photo

Registered user since Fri 4 May 2018

Name:Ming-Hsien Tsai
Affiliation:Academia Sinica, Taiwan

Contributions

2023

ESEC/FSE

  • Author of [Remote] llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs within the Demonstrations-track

2019

ASE

  • Author of Verifying Arithmetic in Cryptographic C Programs within the Research Papers-track

2018

PLDI

  • Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
Share
xMon 19 May 23:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up