Ciyan Ouyang

dblp:419/6794 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
2since 2021 · last 2026
0000-0001-5298-2198ORCID · reported

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

Security and privacy · 2 · 1 first-author · 2 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
Software testing · 100%
Network and information security
1 paper
Systems and software security · 100%

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

TopicWeightPapersLastEvidence papers
Systems and software security
memory safety
1.012026
MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety · IEEE Trans. Dependable Secur. Comput. 2026
Software testing › random testing
property-based testing
1.012026
MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety · IEEE Trans. Dependable Secur. Comput. 2026
Software testing
test suite
1.012026
MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety · IEEE Trans. Dependable Secur. Comput. 2026

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

property-oriented testing · 2.0
YearPublicationVenuePosition
2026 MSTest: A Property-Oriented, Comprehensive, and Cross-Platform Test Suite of Memory Safety
abstract
The foundation of current software ecosystem is still unfortunately laid on memory unsafe languages, such as C/C++. Memory safety vulnerabilities remain as the primary source of bugs in the critical software stacks. Some of the advanced memory safety defenses are beginning to land on commercially available platforms, in the form of instruction-set architecture extensions, runtime enforcement by standard libraries and OSes, and compile-time checks. This tide of adoption of defenses brings us several questions: For a defense that is claimed supported on a platform, can it be actually deployed to directly benefit an application? For a defense claiming a certain level of protection regarding a type of memory safety on a platform, how solid is the protection? For two platforms implementing similar types of defenses, which one provides better guarantees? Endeavor to answer these questions, a memory safety test suite, namelyMSTest, is implemented. With its current 227 test cases, the test suite has already reached a wider coverage than all existing test suites and been ported to 19 platforms. To our best knowledge, MSTest is the first portable memory safety test suite conducting property-oriented testing, automatically resolving dependency between test cases, providing a comprehensive coverage on attack and defense capabilities, and capable of comparing memory safety cross platforms.
Ciyan Ouyang, Wei Song 0002, Jiameng Ying, Sihao Shen, Peng Liu 0005
IEEE Trans. Dependable Secur. Comput.1
2025 GIR-Cache: Mitigating Conflict-Based Cache Side-Channel Attacks via Global Indirect Replacement
Ciyan Ouyang, Wei Song 0002
ISC4