Xinyu Feng

Available identifiers

zbMath Open feng.xinyuDBLP06/3494-1WikidataQ102342184 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
Overview of formal methods	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

This page was built for person: Xinyu Feng