Travelled to:1 × Iceland
Collaborated with:J.Ding V.Dubois C.O.Chen C.Cheng J.Liu X.Shi M.Tsai B.Wang
Talks about:cryptograph (1) arithmet (1) program (1) verifi (1) sflash (1) repair (1) could (1) be (1)
Person: Bo-Yin Yang
DBLP: Yang:Bo=Yin
Contributed to:
2008
2019Wrote 2 papers:
- ICALP-C-2008-DingDYCC #question
- Could SFLASH be Repaired? (JD, VD, BYY, CHOC, CMC), pp. 691–701.
- ASE-2019-LiuSTWY #c #encryption #source code #verification
- Verifying Arithmetic in Cryptographic C Programs (JL, XS, MHT, BYW, BYY), pp. 552–564.