Florian Sieck

According to our database, Florian Sieck authored at least 19 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

SWAT: Improvements to the Symbolic Executor (Competition Contribution).

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

StepOverflow: PMC Overflows on AMD SEV.

Anja Rabich, Jonah Heller, Florian Sieck, Thomas Eisenbarth

Proceedings of the 9th Workshop on System Software for Trusted Execution, 2026

Trace Gadgets: Minimizing Code Context for Machine Learning-Based Vulnerability Prediction.

Felix Mächtle, Nils Loose, Tim Schulz, Florian Sieck, Jan-Niclas Serr, Ralf Möller, Thomas Eisenbarth

Proceedings of the ACM Asia Conference on Computer and Communications Security, 2026

2025

SWAT Artifact for SV-Comp 2026.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2025

SWAT Artifact for SV-Comp 2026.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2025

2024

SWAT - Dynamic Symbolic Execution for Java Applications.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2024

SWAT - Dynamic Symbolic Execution for Java Applications.

Nils Loose, Florian Sieck, Felix Mächtle, Thomas Eisenbarth

Dataset, November, 2024

TeeJam: Sub-Cache-Line Leakages Strike Back.

Florian Sieck, Zhiyuan Zhang, Sebastian Berndt, Chitchanok Chuengsatiansup, Thomas Eisenbarth, Yuval Yarom

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution).

Nils Loose, Felix Mächtle, Florian Sieck, Thomas Eisenbarth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX.

Luca Wilke, Florian Sieck, Thomas Eisenbarth

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

MAMBO-V: Dynamic Side-Channel Leakage Analysis on RISC-V.

Jan Wichelmann, Christopher Peredy, Florian Sieck, Anna Pätschke, Thomas Eisenbarth

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2023

2022

Microwalk-CI: Practical Side-Channel Analysis for JavaScript Applications.

Jan Wichelmann, Florian Sieck, Anna Pätschke, Thomas Eisenbarth

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

undeSErVed trust: Exploiting Permutation-Agnostic Remote Attestation.

Luca Wilke, Jan Wichelmann, Florian Sieck, Thomas Eisenbarth

Proceedings of the IEEE Security and Privacy Workshops, 2021

Util: : Lookup: Exploiting Key Decoding in Cryptographic Libraries.

Florian Sieck, Sebastian Berndt, Jan Wichelmann, Thomas Eisenbarth

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021