| Publication | Date of Publication | Type |
|---|
Hierarchical and non-monotonic key-policy attribute-based encryption and its application
Information Sciences | 2024-03-27 | Paper |
Disjunctive Information Flow for Communicating Processes
Trustworthy Global Computing | 2021-04-07 | Paper |
Practical large universe attribute-set based encryption in the standard model
Information and Communications Security | 2020-07-20 | Paper |
Fully secure hidden ciphertext-policy attribute-based proxy re-encryption
Information and Communications Security | 2020-07-20 | Paper |
| Overview of formal methods | 2019-09-20 | Paper |
An operational happens-before memory model
Frontiers of Computer Science | 2019-01-22 | Paper |
A temporal programming model with atomic blocks based on projection temporal logic
Frontiers of Computer Science | 2018-12-19 | Paper |
| Non-preemptive semantics for data-race-free programs | 2018-11-23 | Paper |
Compositional verification of termination-preserving refinement of concurrent programs
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
A program logic for concurrent objects under fair scheduling
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
A rely-guarantee-based simulation for verifying concurrent program transformations
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
Local rely-guarantee reasoning
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
Characterizing progress properties of concurrent objects via contextual refinements
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Weak updates and separation logic
New Generation Computing | 2012-11-16 | Paper |
A structural approach to prophecy variables
Lecture Notes in Computer Science | 2012-07-16 | Paper |
Reasoning about optimistic concurrency using a program logic for history
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Parameterized Memory Models and Concurrent Separation Logic
Programming Languages and Systems | 2010-05-04 | Paper |
Certifying low-level programs with hardware interrupts and preemptive threads
Journal of Automated Reasoning | 2009-08-31 | Paper |
Deny-Guarantee Reasoning
Programming Languages and Systems | 2009-03-31 | Paper |
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
Programming Languages and Systems | 2007-09-04 | Paper |
| scientific article; zbMATH DE number 2075875 (Why is no real title available?) | 2004-06-18 | Paper |
