Xinyu Feng

From MaRDI portal
Person:835762

Available identifiers

zbMath Open feng.xinyuDBLP06/3494-1WikidataQ102342184 ScholiaQ102342184MaRDI QIDQ835762

List of research outcomes





PublicationDate of PublicationType
Hierarchical and non-monotonic key-policy attribute-based encryption and its application2024-03-27Paper
Disjunctive Information Flow for Communicating Processes2021-04-07Paper
Practical Large Universe Attribute-Set Based Encryption in the Standard Model2020-07-20Paper
Fully Secure Hidden Ciphertext-Policy Attribute-Based Proxy Re-encryption2020-07-20Paper
https://portal.mardi4nfdi.de/entity/Q51968852019-09-20Paper
An operational happens-before memory model2019-01-22Paper
A temporal programming model with atomic blocks based on projection temporal logic2018-12-19Paper
Non-preemptive semantics for data-race-free programs2018-11-23Paper
Compositional verification of termination-preserving refinement of concurrent programs2018-04-23Paper
A program logic for concurrent objects under fair scheduling2016-10-24Paper
A rely-guarantee-based simulation for verifying concurrent program transformations2015-09-11Paper
Local rely-guarantee reasoning2015-07-03Paper
Modular verification of concurrent assembly code with dynamic thread creation and termination2015-01-06Paper
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements2013-08-12Paper
Weak updates and separation logic2012-11-16Paper
A Structural Approach to Prophecy Variables2012-07-16Paper
Reasoning about Optimistic Concurrency Using a Program Logic for History2010-08-31Paper
Parameterized Memory Models and Concurrent Separation Logic2010-05-04Paper
Certifying low-level programs with hardware interrupts and preemptive threads2009-08-31Paper
Deny-Guarantee Reasoning2009-03-31Paper
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning2007-09-04Paper
https://portal.mardi4nfdi.de/entity/Q44709352004-06-18Paper

Research outcomes over time

This page was built for person: Xinyu Feng