Xiao Liu

Affiliations:
  • Pennsylvania State University, College of Information Sciences and Technology, University Park, PA, USA
  • Nanjing University of Posts and Telecommunications, College of Telecommunications and Information Engineering, Nanjing, China (2009 - 2013)


According to our database1, Xiao Liu authored at least 12 papers between 2012 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Generating Effective Software Obfuscation Sequences With Reinforcement Learning.
IEEE Trans. Dependable Secur. Comput., 2022

ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2019
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.
Proceedings of the 28th USENIX Security Symposium, 2019

Automatic grading of programming assignments: an approach based on formal semantics.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

A Lightweight Framework for Regular Expression Verification.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
RedDroid: Android Application Redundancy Customization Based on Static Analysis.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

2017
CacheD: Identifying Cache-Based Timing Channels in Production Software.
Proceedings of the 26th USENIX Security Symposium, 2017

Automated Synthesis of Access Control Lists.
Proceedings of the International Conference on Software Security and Assurance, 2017

2016
Natural Shell: An Assistant for End-User Scripting.
Int. J. People Oriented Program., 2016

2014
PiE: programming in eliza.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2012
A novel joint data partition and forwarding scheme for D2D communications.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2012


  Loading...