External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen. Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. In Tomás Vojnar, Lijun Zhang, editors, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Volume 11427 of Lecture Notes in Computer Science, pages 155-173, Springer, 2019. [doi]

Authors

Pengfei Gao

This author has not been identified. Look up 'Pengfei Gao' in Google

Hongyi Xie

This author has not been identified. Look up 'Hongyi Xie' in Google

Jun Zhang

This author has not been identified. Look up 'Jun Zhang' in Google

Fu Song

This author has not been identified. Look up 'Fu Song' in Google

Taolue Chen

This author has not been identified. Look up 'Taolue Chen' in Google
runs on