Ximeng Li

Ximeng Li

Postdoc

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Home page

Request a vCard via e-mail.

Publications
Projects
Loading

Publications rss feed

2016
  PDF

Fine-grained Information Flow for Concurrent Computation

Li, Ximeng ; Nielson, Flemming (Main supervisor) ; Nielson, Hanne Riis (Supervisor)
Technical University of Denmark (DTU), pages: 182

Type: Ph.D. thesis

Status: Published     |    Year: 2016

 

Disjunctive Information Flow for Communicating Processes

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis ; Feng, Xinyu
part of: Revised Selected Papers of the 10th International Symposium on Trustworthy Global Computing (TGC 2015) (ISBN: 978-3-319-28765-2), pages: 95-111, 2016, Springer,
Presented at:
10th International Symposium on Trustworthy Global Computing (TGC 2015), 2015, Madrid

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2016     |    DOI: http://dx.doi.org/10.1007/978-3-319-28766-9_7

2015
  PDF

Klaim-DB: A Modeling Language for Distributed Database Applications

Wu, Xi ; Li, Ximeng ; Lluch Lafuente, Alberto ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages (ISBN: 978-3-319-19281-9), pages: 197-212, 2015, Springer,
Presented at:
17th IFIP WG 6.1 International Conference, COORDINATION 2015, 2015, Grenoble

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-19282-6_13

 

Hoare Logic for Disjunctive Information Flow

Nielson, Hanne Riis ; Nielson, Flemming ; Li, Ximeng
part of: Programming Languages with Applications to Biology and Security (ISBN: 978-3-319-25526-2), pages: 47-65, 2015, Springer,

Type: Book chapter (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-25527-9_6

 

Factorization of Behavioral Integrity

Li, Ximeng ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of th 20th European Symposium on Research in Computer Security - ESORICS 2015 (ISBN: 978-3-319-24176-0), pages: 500-519, 2015, Springer,
Presented at:
20th European Symposium on Research in Computer Security (ESORICS 2015), 2015, Vienna

Type: Article in proceedings (Peer reviewed)

Status: Published     |    Year: 2015     |    DOI: http://dx.doi.org/10.1007/978-3-319-24177-7_25