5 citations · 5 across the 4 of their papers we have counts for
5 papers
DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases
Min-Yih Hsu, Felicitas Hetzelt, Michael Franz
Context- and flow-sensitive value-flow information is an important building block for many static analysis tools. Unfortunately, current approaches to compute value-flows do not sc…
A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
Min-Yih Hsu, Felicitas Hetzelt, David Gens +2
Estimating instruction-level throughput is critical for many applications: multimedia, low-latency networking, medical, automotive, avionic, and industrial control systems all rely…
VIA: Analyzing Device Interfaces of Protected Virtual Machines
Felicitas Hetzelt, Martin Radev, Robert Buhren +2
Both AMD and Intel have presented technologies for confidential computing in cloud environments. The proposed solutions - AMD SEV (-ES, -SNP) and Intel TDX - protect Virtual Machin…
Security Analysis of Encrypted Virtual Machines
Felicitas Hetzelt, Robert Buhren
Cloud computing has become indispensable in today's computer landscape. The flexibility it offers for customers as well as for providers has become a crucial factor for large parts…
Reins to the Cloud: Compromising Cloud Systems via the Data Plane
Kashyap Thimmaraju, Bhargava Shastry, Tobias Fiebig +4
Virtual switches have become popular among cloud operating systems to interconnect virtual machines in a more flexible manner. However, this paper demonstrates that virtual switche…