Author of the publication

Static program analysis assisted dynamic taint tracking for software vulnerability discovery.

, , , and . Computers & Mathematics with Applications, 63 (2): 469-480 (2012)

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.

 

Other publications of authors with the same name

Service level agreement based energy-efficient resource management in cloud data centers., , , , , and . Computers & Electrical Engineering, 40 (5): 1621-1633 (2014)An Information Retrieval Model based on Probabilistic network., , , and . IEEE SCC, page 423-426. IEEE Computer Society, (2004)A New Formal Model Based on P-System for Mobile Transactions., , , and . IEEE SCC, page 16-22. IEEE Computer Society, (2004)gScale: Scaling up GPU Virtualization with Dynamic Sharing of Graphics Memory Space., , , , , , , and . USENIX Annual Technical Conference, page 579-590. USENIX Association, (2016)ForenVisor: A Tool for Acquiring and Preserving Reliable Data in Cloud Live Forensics., , , , , and . IEEE Trans. Cloud Computing, 5 (3): 443-456 (2017)DefDroid: Securing Android with Fine-Grained Security Policy., , , and . SEKE, page 375-378. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)Flexible and Extensible Runtime Verification for Java., , and . SEKE, page 595-600. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)An Online Model Checking Tool for Safety and Liveness Bugs., , , , and . ICPADS, page 493-500. IEEE Computer Society, (2008)FLTL-MC: Online High Level Program Analysis for Web Services., , , , , and . SERVICES I, page 171-178. IEEE Computer Society, (2009)Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis., , , , , , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 256-263. Springer, (2012)