Ximeng Li

According to our database, Ximeng Li authored at least 9 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Enforcing globally dependent flow policies in message-passing systems.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

J. Comput. Lang., 2019

2017

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality.

Ximeng Li, Heiko Mantel, Markus Tasch

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Fine-grained Information Flow for Concurrent Computation.

Ximeng Li

PhD thesis, 2016

A Coordination Language for Databases.

Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson

Log. Methods Comput. Sci., 2016

Future-dependent Flow Policies with Prophetic Variables.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

2015

Disjunctive Information Flow for Communicating Processes.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Factorization of Behavioral Integrity.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Computer Security - ESORICS 2015, 2015

Klaim-DB: A Modeling Language for Distributed Database Applications.

Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Coordination Models and Languages, 2015

Hoare Logic for Disjunctive Information Flow.

Hanne Riis Nielson, Flemming Nielson, Ximeng Li

Proceedings of the Programming Languages with Applications to Biology and Security, 2015