Travelled to:1 × China
1 × USA
Collaborated with:M.Abi-Antoun P.Torr B.Hackett M.Das Z.Yang
Talks about:check (2) implement (1) overflow (1) modular (1) diagram (1) conform (1) threat (1) buffer (1) secur (1) model (1)
Person: Daniel Wang
DBLP: Wang:Daniel
Contributed to:
2007
2006Wrote 2 papers:
- ASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security
- Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.
- ICSE-2006-HackettDWY #composition #in the large
- Modular checking for buffer overflows in the large (BH, MD, DW, ZY), pp. 232–241.