Richard Ostertág

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 4

Top Topics

Anomaly Detection

Functional Programming

Quantifier Elimination

Computer Security

Top Venues

Publications

Richard Ostertág, Martin Stanek
Anomaly Detection in Certificate Transparency Logs. CoRR (2024)
Richard Ostertág
On the usefulness of linear types for correct nonce use enforcement during compile time. CoRR (2023)
Michal Strba, Richard Ostertág
Approaching Side-effects in Pure Functional Programming by Interpreting Data Structures as Recipes. ITAT (2018)
Richard Ostertág
About Security of the RAK DEK. ITAT (2015)
Richard Ostertág, Martin Stanek
Entropy Assessment of Windows OS Performance Counters. CoRR (2013)
Richard Ostertág
Improved Rate Upper Bound of Collision Resistant Compression Functions. ITAT (2009)
Richard Ostertág
The coin flipping selector for selective encryption. ITAT (2008)
Richard Ostertág, Martin Stanek
On High-Rate Cryptographic Compression Functions. Comput. Artif. Intell. 26 (1) (2007)
Richard Ostertág, Martin Stanek
On High-Rate Cryptographic Compression Functions. IACR Cryptol. ePrint Arch. 2005 (2005)
Jaroslav Janácek, Richard Ostertág
Problems in practical use of electronic signatures. Informatica (Slovenia) 26 (2) (2002)