Travelled to:1 × Canada
Collaborated with:X.H.0001 M.Kwiatkowska R.C.Miller S.L.Garfinkel S.Wang Y.Sun W.Ruan D.Kroening
Talks about:network (2) neural (2) deep (2) toolbar (1) prevent (1) safeti (1) concol (1) attack (1) actual (1) verif (1)
Person: Min Wu
DBLP: Wu:Min
Contributed to:
2006
2018
2017Wrote 3 papers:
- CHI-2006-WuMG #question #security
- Do security toolbars actually prevent phishing attacks? (MW, RCM, SLG), pp. 601–610.
- ASE-2018-SunWRHKK #network #testing
- Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
- CAV-2017-HuangKWW #network #safety #verification
- Safety Verification of Deep Neural Networks (XH0, MK, SW, MW), pp. 3–29.