Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Chris Xiong

dblp:380/9534 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0007-3071-074XORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%
Network and information security
1 paper
Systems and software security · 100%

Topics — the 4 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
information flow control
0.912025
Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025
Programming languages and type systems
information flow control
0.912025
Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025
Programming languages and type systems
language-based security
0.912025
Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025
Systems and software security › data security
confidentiality and integrity
0.312025
Carapace: Static-Dynamic Information Flow Control in Rust · Proc. ACM Program. Lang. 2025

Methods — techniques the papers use, named apart from their topics

type system · 1.7static analysis · 1.7dynamic analysis · 1.7
YearPublicationVenuePosition
2025 Carapace: Static-Dynamic Information Flow Control in Rust
abstract
Fine-grained information flow control (IFC) ensures confidentiality and integrity at the programming language level by ensuring that high-secrecy values do not affect low-secrecy values and that low-integrity values do not affect high-integrity values. However, prior support for fine-grained IFC is impractical: It either analyzes programs using whole-program static analysis, detecting false IFC violations; or it extends the language and compiler, thwarting adoption. Recent work called Cocoon demonstrates how to provide fine-grained IFC for Rust programs without modifying the language or compiler, but it is limited to static secrecy labels, and its case studies are limited. This paper introduces an approach called Carapace that employs Cocoon’s core approach and supports both static and dynamic IFC and supports both secrecy and integrity. We demonstrate Carapace using three case studies involving real applications and comprehensive security policies. An evaluation shows that applications can be retrofitted to use Carapace with relatively few changes, while incurring negligible run-time overhead in most cases. Carapace advances the state of the art by being the first hybrid static—dynamic IFC that works with an off-the-shelf language—Rust—and its unmodified compiler.
Vincent Beardsley, Chris Xiong, Ada Lamba, Michael D. Bond
Proc. ACM Program. Lang.2