I agree that this site is using cookies. You can find further informations here.
X
Cotrini, Carlos
23  results:
Search for persons X
?
1

Domain Generalization for Diagnosis of Pulmonary Fibrosis U..:

, In: 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI),
Carvalho, Joao B. S. ; Cotrini, Carlos ; Laumer, Fabian... - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Checking Websites' GDPR Consent Compliance for Marketing Em..:

Kubíček, Karel ; Merane, Jakob ; Cotrini, Carlos...
Proceedings on Privacy Enhancing Technologies.  2022 (2022)  2 - p. 282-303 , 2022
Link: https://doi.org/10.2478/..
 
?
3

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

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Cotrini, Carlos ; Corinzia, Luca ; Weghorn, Thilo. - p. 95-112 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Mining ABAC Rules from Sparse Logs:

, In: 2018 IEEE European Symposium on Security and Privacy (EuroS&P),
Cotrini, Carlos ; Weghorn, Thilo ; Basin, David - p. 31-46 , 2018
Link: https://doi.org/10.1109/..
 
?
5

Basic primal infon logic:

Cotrini, Carlos ; Gurevich, Yuri
Journal of Logic and Computation.  26 (2013)  1 - p. 117-141 , 2013
Link: https://doi.org/10.1093/..
 
?
6

TRANSITIVE PRIMAL INFON LOGIC:

COTRINI, CARLOS ; GUREVICH, YURI
The Review of Symbolic Logic.  6 (2013)  2 - p. 281-304 , 2013
Link: https://doi.org/10.1017/..
 
?
7

Deciding safety and liveness in TPTL:

Basin, David ; Cotrini Jiménez, Carlos ; Klaedtke, Felix.
Information Processing Letters.  114 (2014)  12 - p. 680-688 , 2014
Link: https://doi.org/10.1016/..
 
?
8

Invariant Anomaly Detection under Distribution Shifts: A Ca..:

Carvalho, João B. S ; Zhang, Mengtao ; Geyer, Robin..
http://arxiv.org/abs/2312.14329.  , 2023
Link: http://arxiv.org/abs/231..
 
?
9

S-GBDT: Frugal Differentially Private Gradient Boosting Dec..:

Kirschte, Moritz ; Peinemann, Thorsten ; Stock, Joshua..
http://arxiv.org/abs/2309.12041.  , 2023
Link: http://arxiv.org/abs/230..
 
?
10

Locality-Sensitive Hashing Does Not Guarantee Privacy! Atta..:

Turati, Florian ; Kubicek, Karel ; id_orcid:0 000-0002-7419-2784...
info:eu-repo/semantics/altIdentifier/doi/10.56553/popets-2023-0101.  , 2023
Link: https://hdl.handle.net/2..
 
?
11

Locality-Sensitive Hashing Does Not Guarantee Privacy! Atta..:

Turati, Florian ; Cotrini, Carlos ; Kubicek, Karel.
http://arxiv.org/abs/2302.13635.  , 2023
Link: http://arxiv.org/abs/230..
 
?
12

Artifact for "Automating Cookie Consent and GDPR Violation ..:

Bollinger, Dino ; Kubicek, Karel ; Cotrini, Carlos.
doi:10.5281/zenodo.5838645.  , 2022
Link: https://zenodo.org/recor..
 
?
13

CookieBlock & CookieAudit: Fixing Cookie Consent with ML:

Kubicek, Karel ; id_orcid:0 000-0002-7419-2784 ; Bollinger, Dino...
http://hdl.handle.net/20.500.11850/569563.  , 2022
Link: https://hdl.handle.net/2..
 
?
14

Checking Websites' GDPR Consent Compliance for Marketing Em..:

Kubicek, Karel ; id_orcid:0 000-0002-7419-2784 ; Merane, Jakob...
http://hdl.handle.net/20.500.11850/525814.  , 2022
Link: https://hdl.handle.net/2..
 
?
15

Automating Cookie Consent and GDPR Violation Detection:

Bollinger, Dino ; Kubicek, Karel ; id_orcid:0 000-0002-7419-2784...
info:eu-repo/semantics/altIdentifier/isbn/978-1-939133-31-1.  , 2022
Link: https://hdl.handle.net/2..
 
1-15