Rafal Ziobro

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Application of Complex Classes to Number Theory.
Formaliz. Math.
Rafal Ziobro
2024 J jnl
Elementary Number Theory Problems. Part XIII.
Formaliz. Math.
Artur Kornilowicz, Rafal Ziobro
2024 J jnl
Pascal's Triangle and Lucas's Theorem.
Formaliz. Math.
Rafal Ziobro
2020 J jnl
Multiplication-Related Classes of Complex Numbers.
Formaliz. Math.
Rafal Ziobro
2019 J jnl
Concatenation of Finite Sequences.
Formaliz. Math.
Rafal Ziobro
2018 J jnl
Arithmetic Operations on Short Finite Sequences.
Formaliz. Math.
Rafal Ziobro
2018 J jnl
Parity as a Property of Integers.
Formaliz. Math.
Rafal Ziobro
2016 J jnl
On Subnomials.
Formaliz. Math.
Rafal Ziobro
2016 J jnl
Prime Factorization of Sums and Differences of Two Like Powers.
Formaliz. Math.
Rafal Ziobro
2015 J jnl
Fermat's Little Theorem via Divisibility of Newton's Binomial.
Formaliz. Math.
Rafal Ziobro
2014 J jnl
Some Remarkable Identities Involving Numbers.
Formaliz. Math.
Rafal Ziobro
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling