Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.

T. Chen, X. Lin, J. Huang, A. Bacchus, and X. Zhang. Security and Communication Networks, 8 (18): 3667-3681 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Gitte Lindmaier University of Stuttgart

Other publications of authors with the same name

ASRPAKE: An Anonymous Secure Routing Protocol with Authenticated Key Exchange for Wireless Ad Hoc Networks.X. Lin, R. Lu, H. Zhu, P. Ho, X. Shen, and Z. Cao. ICC, page 1247-1253. IEEE, (2007)RAISE: An Efficient RSU-Aided Message Authentication Scheme in Vehicular Communication Networks.C. Zhang, X. Lin, R. Lu, and P. Ho. ICC, page 1451-1457. IEEE, (2008)AEMA: An Aggregated Emergency Message Authentication Scheme for Enhancing the Security of Vehicular Ad Hoc Networks.H. Zhu, X. Lin, R. Lu, P. Ho, and X. Shen. ICC, page 1436-1440. IEEE, (2008)Towards a game theoretical modeling of rational collaborative spectrum sensing in Cognitive Radio networks.S. Li, H. Zhu, B. Yang, C. Chen, X. Guan, and X. Lin. ICC, page 88-92. IEEE, (2012)Separate-combine recovery for compressed sensing of large images.Y. Lin, S. Wu, J. Yu, and X. Lin. ICC, page 4601-4606. IEEE, (2014)User-satisfaction-based weighted SLNR beamforming in TD-LTE-A system.X. Wu, L. Sun, J. Yu, X. Lin, and Y. Wang. ICC, page 1284-1289. IEEE, (2014)Blurred License Plate Recognition based on single snapshot from drive recorder.C. Song, and X. Lin. ICC, page 7108-7113. IEEE, (2015)A Secure and Efficient Revocation Scheme for Anonymous Vehicular Communications.Y. Sun, R. Lu, X. Lin, X. Shen, and J. Su. ICC, page 1-6. IEEE, (2010)Roadside Units Deployment for Efficient Short-Time Certificate Updating in VANETs.Y. Sun, X. Lin, R. Lu, X. Shen, and J. Su. ICC, page 1-5. IEEE, (2010)Reachability Analysis in Privacy-Preserving Perturbed Graphs.X. He, J. Vaidya, B. Shafiq, N. Adam, and X. Lin. Web Intelligence, page 691-694. IEEE Computer Society, (2010)

PUMA

Disambiguation of "Lin, Xiaodong"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.

Please choose a person to relate this publication to

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Gitte Lindmaier University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Lin, Xiaodong"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML An empirical investigation into path divergences for concolic execution using CREST.

Please choose a person to relate this publication to

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Gitte Lindmaier University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An empirical investigation into path divergences for concolic execution using CREST.