Towards Verifying Ethereum Smart Contracts at Intermediate Language Level X Li, Z Shi, Q Zhang, G Wang, Y Guan, N Han International Conference on Formal Engineering Methods, 121-137, 2019 | 16 | 2019 |
Taming message-passing communication in compositional reasoning about confidentiality X Li, H Mantel, M Tasch Asian Symposium on Programming Languages and Systems, 45-66, 2017 | 12 | 2017 |
Disjunctive information flow for communicating processes X Li, F Nielson, HR Nielson, X Feng Trustworthy Global Computing, 95-111, 2015 | 11 | 2015 |
Hoare logic for disjunctive information flow HR Nielson, F Nielson, X Li Programming Languages with Applications to Biology and Security, 47-65, 2015 | 11 | 2015 |
RIFL 1.1: a common specification language for information-flow requirements T Bauereiß, S Greiner, M Herda, M Kirsten, X Li, H Mantel, M Mohr, ... Technical report TUD-CS-2017-0225, TU Darmstadt, 2017 | 6 | 2017 |
Future-dependent Flow Policies with Prophetic Variables X Li, F Nielson, H Riis Nielson Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 6 | 2016 |
Klaim-db: A modeling language for distributed database applications X Wu, X Li, AL Lafuente, F Nielson, HR Nielson International Conference on Coordination Languages and Models, 197-212, 2015 | 6 | 2015 |
Formalizing the Transaction Flow Process of Hyperledger Fabric X Chen, X Li, Q Zhang, Z Shi, Y Guan International Conference on Formal Engineering Methods, 233-250, 2020 | 2 | 2020 |
Factorization of behavioral integrity X Li, F Nielson, HR Nielson European Symposium on Research in Computer Security, 500-519, 2015 | 2 | 2015 |
Formal Verification of Atomicity Requirements for Smart Contracts N Han, X Li, G Wang, Z Shi, Y Guan Asian Symposium on Programming Languages and Systems, 44-64, 2020 | 1 | 2020 |
Enforcing Globally Dependent Flow Policies in Message-Passing Systems X Li, F Nielson, HR Nielson Journal of Computer Languages, 100904, 2019 | 1 | 2019 |
SPASCA: Secure-Programming Assistant and Side-Channel Analyzer X Li, H Mantel, J Schickel, M Tasch, I Toteva, A Weber | 1 | 2017 |
A coordination language for databases X Li, X Wu, AL Lafuente, F Nielson, HR Nielson arXiv preprint arXiv:1610.02364, 2016 | 1 | 2016 |
Limitations of non-interference F Nielson, HR Nielson, X Li Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015, 2015 | 1 | 2015 |
A HOL Theory of the Differential for Matrix Functions Y Nie, Z Shi, A Wu, X Li, G Wang, Y Guan 2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019 | | 2019 |
A Coordination Language for Databases HR Nielson, F Nielson, AL Lafuente, X Wu, X Li Logical Methods in Computer Science 13, 2017 | | 2017 |
Fine-grained Information Flow for Concurrent Computation X Li, F Nielson, HR Nielson Technical University of Denmark (DTU), 2016 | | 2016 |