Qiang Zeng

According to our database1, Qiang Zeng
  • authored at least 18 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

2016
Context-aware System Service Call-oriented Symbolic Execution of Android Framework with Application to Exploit Generation.
CoRR, 2016

SolMiner: mining distinct solutions in programs.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Enforcement of Autonomous Authorizations in Collaborative Distributed Query Evaluation.
IEEE Trans. Knowl. Data Eng., 2015

HeapTherapy: An Efficient End-to-End Solution against Heap Buffer Overflows.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Risk Assessment of Buffer "Heartbleed" Over-Read Vulnerabilities.
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014
Scaling Hop-Based Reachability Indexing for Fast Graph Pattern Query Processing.
IEEE Trans. Knowl. Data Eng., 2014

Extracting important information from Chinese Operation Notes with natural language processing methods.
Journal of Biomedical Informatics, 2014

DeltaPath: Precise and Scalable Calling Context Encoding.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

Software Cruising: A New Technology for Building Concurrent Software Monitor.
Proceedings of the Secure Cloud Computing, 2014

2013
3-Hop: A Novel Hop-Based Reachability Index.
Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

2012
Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data.
PVLDB, 2012

Comments on "Stack-based Algorithms for Pattern Matching on DAGs".
PVLDB, 2012

Kruiser: Semi-synchronized Non-blocking Concurrent Kernel Heap Buffer Overflow Monitoring.
Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Remote rehabilitation model based on BAN and cloud computing technology.
Proceedings of the IEEE 14th International Conference on e-Health Networking, 2012

2011
Adding Logical Operators to Tree Pattern Queries on Graph-Structured Data
CoRR, 2011

Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
C*-tree: A Multi-Dimensional Index Structure for Resource Space Model.
Proceedings of the Sixth International Conference on Semantics Knowledge and Grid, 2010


  Loading...