|
TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany |
Ximeng Li, Heiko Mantel and Markus Tasch. Taming Message-passing Communication in Compositional Reasoning about Confidentiality. In Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), pp. 45 - 66.
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, and Hanne Riis Nielson. A Coordination Language for Databases. Logical Methods in Computer Science, Vol 13(1:10), pp. 1-51.
Ben Hermann, Ximeng Li, Heiko Mantel, Mira Mezini, Markus Tasch, and Florian Wendel. Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface. TU Darmstadt, Technical Report TUD-CS-2017-0025.
Kevin Müller, Sascha Uhrig, Flemming Nielson, Hanne Riis Nielson, Ximeng Li, Michael Paulitsch, and Georg Sigl. Automatic Information Flow Validation for High Assurance Systems. International Journal on Advances in Software, Vol 9 (3&4), pp. 191-206.
Ximeng Li, Flemming Nielson, and Hanne Riis Nielson. Future-dependent Flow Policies with Prophetic Variables. In Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS), pp. 29 - 42.
Ximeng Li, Flemming Nielson, and Hanne Riis Nielson. Factorization of Behavioral Integrity. In Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS), pp. 500 - 519.
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, and Xinyu Feng. Disjunctive Information Flow for Communicating Processes. In Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC), pp. 95 - 111.
Hanne Riis Nielson, Flemming Nielson, and Ximeng Li. Hoare Logic for Disjunctive Information Flow. In Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, pp. 47 - 65.
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, and Hanne Riis Nielson. Klaim-DB: A Modeling Language for Distributed Database Applications. In Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International Conference (Coordination), pp. 197 - 212