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

Hsuan-Chi Kuo

dblp:200/7957 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
2since 2021 · last 2022
—ORCID · none

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

Systems, architecture and hardware · 2 · 2 first-author · 1 since 2021Security and privacy · 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
2 papers
Operating systems · 89% Program verification · 11%
Computer architecture, parallel and distributed computing, and storage systems
2 papers
Cloud and datacenter computing · 100%
Network and information security
1 paper
Systems and software security · 100%

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

TopicWeightPapersLastEvidence papers
Systems and software security
operating system security
0.612022
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022
Operating systems › extensible operating systems › kernel extensibility
kernel extensions
0.612022
Verified programs can party: optimizing kernel extensions via post-verification merging · EuroSys 2022
Cloud and datacenter computing › cloud security
confidential computing
0.612022
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022
Cloud and datacenter computing › cloud security
trusted execution environment
0.612022
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud · CCS 2022
Operating systems › operating system design
unikernel
0.412020
A Linux in unikernel clothing · EuroSys 2020
Cloud and datacenter computing
workload isolation
0.112020
A Linux in unikernel clothing · EuroSys 2020

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

AMD SEV-SNP · 1.1kernel configuration specialization · 0.9program verification · 0.6BPF · 0.6
YearPublicationVenuePosition
2022 Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud
abstract
Despite the recent exponential growth in cloud adoption, businesses that handle sensitive data (e.g., health and financial sectors) are hesitant to migrate their on-premises IT infrastructure to the public cloud due to the lack of trust on the cloud provider. Confidential computing aims to move the cloud provider out of the trusted computing base. New hardware features such as AMD's SEV-SNP can run a full virtual machine (VM) with confidentiality and integrity protection against the cloud. However, there exist challenges in supporting legacy operating systems and enforcing security policies (e.g., firewalls) in confidential VMs.
Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui
CCS2
2022 Verified programs can party: optimizing kernel extensions via post-verification merging
abstract
Operating system (OS) extensions are more popular than ever. For example, Linux BPF is marketed as a "superpower" that allows user programs to be downloaded into the kernel, verified to be safe and executed at kernel hook points. So, BPF extensions have high performance and are often placed at performance-critical paths for tracing and filtering.
Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams 0001, Sibin Mohan, Tianyin Xu
EuroSys1
2020 A Linux in unikernel clothing
abstract
Unikernels leverage library OS architectures to run isolated workloads on the cloud. They have garnered attention in part due to their promised performance characteristics such as small image size, fast boot time, low memory footprint and application performance. However, those that aimed at generality fall short of the application compatibility, robustness and, more importantly, community that is available for Linux. In this paper, we describe and evaluate Lupine Linux, a standard Linux system that---through kernel configuration specialization and system call overhead elimination---achieves unikernel-like performance, in fact outperforming at least one reference unikernel in all of the above dimensions. At the same time, Lupine can run any application (since it is Linux) when faced with more general workloads, whereas many unikernels simply crash. We demonstrate a graceful degradation of unikernel-like performance properties.
Hsuan-Chi Kuo, Dan Williams 0001, Ricardo Koller, Sibin Mohan
EuroSys1