Richard Ostertág

13 papers Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Anomaly Detection in Certificate Transparency Logs.
ITAT
Richard Ostertág, Martin Stanek
2024 J jnl
Anomaly Detection in Certificate Transparency Logs.
CoRR
Richard Ostertág, Martin Stanek
2024 — conf
Enforcing Fresh Nonces with Affine Type System.
ITAT
Richard Ostertág
2024 — ed.
Proceedings of the 24th Conference Information Technologies - Applications and Theory (ITAT 2024), Drienica, Slovakia, September 20-24, 2024.
ITAT
Lucie Ciencialová, Martin Holena, Róbert Jajcay, Tatiana Jajcayová, Martin Macaj, Frantisek Mráz, Richard Ostertág, Dana Pardubská, Martin Plátek, Martin Stanek
2023 J jnl
On the usefulness of linear types for correct nonce use enforcement during compile time.
CoRR
Richard Ostertág
2018 — conf
Approaching Side-effects in Pure Functional Programming by Interpreting Data Structures as Recipes.
ITAT
Michal Strba, Richard Ostertág
2015 — conf
About Security of the RAK DEK.
ITAT
Richard Ostertág
2013 J jnl
Entropy Assessment of Windows OS Performance Counters.
CoRR
Richard Ostertág, Martin Stanek
2009 — conf
Improved Rate Upper Bound of Collision Resistant Compression Functions.
ITAT
Richard Ostertág
2008 — conf
The coin flipping selector for selective encryption.
ITAT
Richard Ostertág
2007 J jnl
On High-Rate Cryptographic Compression Functions.
Comput. Artif. Intell.
Richard Ostertág, Martin Stanek
2005 J jnl
On High-Rate Cryptographic Compression Functions.
IACR Cryptol. ePrint Arch.
Richard Ostertág, Martin Stanek
2002 J jnl
Problems in practical use of electronic signatures.
Informatica (Slovenia)
Jaroslav Janácek, Richard Ostertág