Karel Kubícek

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 12

Top Topics

Approximate Nearest Neighbor

Online Marketing

Boolean Functions

Test Case Generation

Top Venues

Proc. Priv. Enhancing Technol.

ICETE (Selected Papers)

Publications

Florian Turati, Carlos Cotrini, Karel Kubícek, David A. Basin
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. CoRR (2023)
Florian Turati, Karel Kubícek, Carlos Cotrini, David A. Basin
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System. Proc. Priv. Enhancing Technol. 2023 (4) (2023)
Dino Bollinger, Karel Kubícek, Carlos Cotrini, David A. Basin
Automating Cookie Consent and GDPR Violation Detection. USENIX Security Symposium (2022)
Karel Kubícek, Jindrich Wolf
Distributed method for Economic Dispatch Problem in power network with multiple uncertainties. ETFA (2022)
Karel Kubícek, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin
Checking Websites' GDPR Consent Compliance for Marketing Emails. Proc. Priv. Enhancing Technol. 2022 (2) (2022)
Vilém Zán, Karel Kubícek, Martin Cech
Design of robust PI controller by combining robustness regions with time-domain criteria. ETFA (2022)
Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Jindrich Wolf
Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing. ETFA (2022)
Dusan Klinec, Marek Sýs, Karel Kubícek, Petr Svenda, Vashek Matyás
Large-scale Randomness Study of Security Margins for 100+ Cryptographic Functions. SECRYPT (2022)
Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina
Analytic method for automatic test case generation for Function Block Diagram. ETFA (2020)
Tomás Ausberger, Karel Kubícek, Pavla Medvecová, Tomás Myslivec, Milan Stetina
Model Checking application on Function Block Diagram model. ETFA (2020)
Karel Kubícek, Martin Cech, Jan Skach
Continuous enhancement in model-based software development and recent trends. ETFA (2019)
Marek Sýs, Dusan Klinec, Karel Kubícek, Petr Svenda
BoolTest: The Fast Randomness Testing Strategy Based on Boolean Functions with Application to DES, 3-DES, MD5, MD6 and SHA-256. ICETE (Selected Papers) (2017)