Xinyu Feng

Available identifiers

zbMath Open feng.xinyuWikidataQ102342184 ScholiaQ102342184MaRDI QIDQ835762

List of research outcomes

Publication	Date of Publication	Type
Hierarchical and non-monotonic key-policy attribute-based encryption and its application	2024-03-27	Paper
Disjunctive Information Flow for Communicating Processes	2021-04-07	Paper
Practical Large Universe Attribute-Set Based Encryption in the Standard Model	2020-07-20	Paper
Fully Secure Hidden Ciphertext-Policy Attribute-Based Proxy Re-encryption	2020-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q5196885	2019-09-20	Paper
An operational happens-before memory model	2019-01-22	Paper
A temporal programming model with atomic blocks based on projection temporal logic	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	2018-04-23	Paper
A program logic for concurrent objects under fair scheduling	2016-10-24	Paper
A rely-guarantee-based simulation for verifying concurrent program transformations	2015-09-11	Paper
Local rely-guarantee reasoning	2015-07-03	Paper
Modular verification of concurrent assembly code with dynamic thread creation and termination	2015-01-06	Paper
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements	2013-08-12	Paper
Weak updates and separation logic	2012-11-16	Paper
A Structural Approach to Prophecy Variables	2012-07-16	Paper
Reasoning about Optimistic Concurrency Using a Program Logic for History	2010-08-31	Paper
Parameterized Memory Models and Concurrent Separation Logic	2010-05-04	Paper
Certifying low-level programs with hardware interrupts and preemptive threads	2009-08-31	Paper
Deny-Guarantee Reasoning	2009-03-31	Paper
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning	2007-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4470935	2004-06-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xinyu Feng