Rethinking Robustness in Machine Learning: A Posterior Agreement Approach - João B. S. Carvalho; Alessandro Torcinovich; Victor Jimenez Rodriguez; Antonio Emanuele Cinà; Carlos Cotrini; Lea Schönherr; Joachim M. Buhmann (CoRR, 2025)

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, CCS 2024, Salt Lake City, UT, USA, October 14-18, 2024, 2024)

Automated Large-Scale Analysis of Cookie Notice Compliance - Ahmed Bouhoula; Karel Kubicek; Amit Zac; Carlos Cotrini; David A. Basin (33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024, 2024)

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., 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 (20th IEEE International Symposium on Biomedical Imaging, ISBI 2023, Cartagena, Colombia, April 18-21, 2023, 2023)

Invariant Anomaly Detection under Distribution Shifts: A Causal Perspective - João B. S. Carvalho; Mengtao Zhang; Robin Geyer; Carlos Cotrini; Joachim M. Buhmann (Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023, 2023)

Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System - Florian Turati; Carlos Cotrini; Karel Kubicek; David A. Basin (CoRR, 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 (CoRR, 2023)

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)

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 (International Conference on Medical Imaging with Deep Learning, MIDL 2022, 6-8 July 2022, Zurich, Switzerland, 2022)

Automating Cookie Consent and GDPR Violation Detection - Dino Bollinger; Karel Kubicek; Carlos Cotrini; David A. Basin (31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, 2022)

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, CCS 2019, London, UK, November 11-15, 2019, 2019)

The Next 700 Policy Miners: A Universal Method for Building Policy Miners - Carlos Cotrini; Luca Corinzia; Thilo Weghorn; David A. Basin (CoRR, 2019)

Mining ABAC Rules from Sparse Logs - Carlos Cotrini; Thilo Weghorn; David A. Basin (2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018, 2018)

Basic primal infon logic - Carlos Cotrini; Yuri Gurevich (J. Log. Comput., 2016)

Analyzing First-Order Role Based Access Control - Carlos Cotrini Jiménez; Thilo Weghorn; David A. Basin; Manuel Clavel (IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, 2015)

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 (Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings, 2014)

Transitive Primal Infon Logic - Carlos Cotrini; Yuri Gurevich (Rev. Symb. Log., 2013)

Transitive Primal Infon Logic-ERRATUM - Carlos Cotrini; Yuri Gurevich (Rev. Symb. Log., 2013)