Carlos Cotrini Jiménez

According to our database, Carlos Cotrini Jiménez authored at least 17 papers between 2013 and 2024.

Collaborative distances:

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

2024

Automated Large-Scale Analysis of Cookie Notice Compliance.

Ahmed Bouhoula, Karel Kubicek, Amit Zac, Carlos Cotrini, David A. Basin

Proceedings of the 33rd USENIX Security Symposium, 2024

S-BDT: Distributed Differentially Private Boosted Decision Trees.

Thorsten Peinemann, Moritz Kirschte, Joshua Stock, Carlos Cotrini, Esfandiar Mohammadi

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

2023

Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System.

Florian Turati, Karel Kubicek, Carlos Cotrini, David A. Basin

Proc. Priv. Enhancing Technol., October, 2023

S-GBDT: Frugal Differentially Private Gradient Boosting Decision Trees.

Moritz Kirschte, Thorsten Peinemann, Joshua Stock, Carlos Cotrini, Esfandiar Mohammadi

CoRR, 2023

Invariant Anomaly Detection under Distribution Shifts: A Causal Perspective.

João B. S. Carvalho, Mengtao Zhang, Robin Geyer, Carlos Cotrini, Joachim M. Buhmann

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Domain Generalization for Diagnosis of Pulmonary Fibrosis Using Dose-Invariant Feature Selection.

João B. S. Carvalho, Carlos Cotrini, Fabian Laumer, André Euler, Katharina Martini, Thomas Frauenfelder, Joachim M. Buhmann

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

2022

Checking Websites' GDPR Consent Compliance for Marketing Emails.

Karel Kubicek, Jakob Merane, Carlos Cotrini, Alexander Stremitzer, Stefan Bechtold, David A. Basin

Proc. Priv. Enhancing Technol., 2022

Automating Cookie Consent and GDPR Violation Detection.

Dino Bollinger, Karel Kubicek, Carlos Cotrini, David A. Basin

Proceedings of the 31st USENIX Security Symposium, 2022

Holistic Modeling In Medical Image Segmentation Using Spatial Recurrence.

João B. S. Carvalho, João A. Santinha, Djordje Miladinovic, Carlos Cotrini, Joachim M. Buhmann

Proceedings of the International Conference on Medical Imaging with Deep Learning, 2022

2019

The Next 700 Policy Miners: A Universal Method for Building Policy Miners.

Carlos Cotrini, Luca Corinzia, Thilo Weghorn, David A. Basin

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

2018

Mining ABAC Rules from Sparse Logs.

Carlos Cotrini, Thilo Weghorn, David A. Basin

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2016

Basic primal infon logic.

Carlos Cotrini, Yuri Gurevich

J. Log. Comput., 2016

2015

Analyzing First-Order Role Based Access Control.

Carlos Cotrini Jiménez, Thilo Weghorn, David A. Basin, Manuel Clavel

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Deciding safety and liveness in TPTL.

David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu

Inf. Process. Lett., 2014

Primal Infon Logic with Conjunctions as Sets.

Carlos Cotrini, Yuri Gurevich, Ori Lahav, Artem Melentyev

Proceedings of the Theoretical Computer Science, 2014

2013

Transitive Primal Infon Logic-ERRATUM.

Carlos Cotrini, Yuri Gurevich

Rev. Symb. Log., 2013

Transitive Primal Infon Logic.

Carlos Cotrini, Yuri Gurevich

Rev. Symb. Log., 2013