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

Illia Ostapyshyn

dblp:349/1126 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
3since 2021 · last 2024
0009-0007-3057-1356ORCID · corroborated

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

Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Software 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.

Network and information security
1 paper
Systems and software security · 100%
Computer architecture, parallel and distributed computing, and storage systems
2 papers
Processor architecture and microarchitecture · 100%
Software engineering, system software, and programming languages
2 papers
Programming languages and type systems · 74% Operating systems · 26%

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

TopicWeightPapersLastEvidence papers
Processor architecture and microarchitecture
instruction set architecture
1.022024
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
MELF: Multivariant Executables for a Heterogeneous World · USENIX ATC 2023
Systems and software security
memory safety
0.812024
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Systems and software security › memory protection
pointer authentication
0.812024
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Systems and software security › memory safety
return address protection
0.812024
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2024
Programming languages and type systems › interoperability
binary compatibility
0.712023
MELF: Multivariant Executables for a Heterogeneous World · USENIX ATC 2023

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

trap-based emulation · 2.3memory-based invocation · 2.3
YearPublicationVenuePosition
2024 KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions
abstract
ARMv8.3-A has introduced the pointer authentication (PA) feature, a new set of measures and instructions to sign and validate pointers. PA is already used and supported by the major compilers to protect the return addresses on the stack as a measure against memory corruption attacks. As more and more SoCs implement ARMv8.3-A and code compiled with PA is even fully backwards compatible on CPUs without (where the new instructions are just ignored), we can expect PA-enabled binaries to become standard in the near future. This gives rise to the question, if and how also systems without the native PA could benefit from the extra security provided by the return address protection. In this article, we explore KPAC, a set of efficient software-based approaches to bring the PA-based return-address protection onto the platforms without the hardware support in an easily adoptable (binary-compatible) and scalable manner. Technically, KPAC achieves this by either a synchronous trap-based emulation inside the kernel or an asynchronous novel memory-based invocation of a dedicated CPU core. Our experiments with the CortexSuite benchmarks, Chromium, and Memcached on a variety of platforms running Linux ranging from a Xilinx ZCU102 board over a Raspberry Pi 4 up to an 80-core Ampere Altra demonstrate the broad applicability and scalability of our approach. Furthermore, we discuss how the principles of KPAC can be generalized to the other suited problem areas.
Illia Ostapyshyn, Gabriele Serra, Tim-Marek Thomas, Daniel Lohmann
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2023 Thread-Level Attack-Surface Reduction
abstract
Existing debloating techniques designed to prevent buffer-overflow exploits through return-oriented programming do not differentiate roles within a process or binary, allowing all threads access to the full program functionality. For example, a worker thread that handles client connections (highest attack exposure) still has access to all the code that the management thread needs (highest potential fallout).
Florian Rommel, Christian Dietrich 0001, Andreas Ziegler 0002, Illia Ostapyshyn, Daniel Lohmann
LCTES4
2023 MELF: Multivariant Executables for a Heterogeneous World
Dominik Töllner, Christian Dietrich 0001, Illia Ostapyshyn, Florian Rommel, Daniel Lohmann
USENIX ATC3