( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal analysis of XACML policies using SMT.

, , , и . Comput. Secur., (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Fatih Turkmen

Türkmen Tezcan

Abdelhak Fatihi

Ula Türkmen

Seval Türkmen

 

Другие публикации лиц с тем же именем

Privacy-preserving logistic regression with secret sharing., , и . BMC Medical Informatics Decis. Mak., 22 (1): 89 (2022)KotlinDetector: Towards Understanding the Implications of Using Kotlin in Android Applications., , и . MOBILESoft@ICSE, стр. 84-93. IEEE, (2021)Verifiable Privacy-Preserving Computing., , и . CoRR, (2023)SecFlow: Adaptive Security-Aware Workflow Management System in Multi-cloud Environments., и . EDOC Workshops, том 498 из Lecture Notes in Business Information Processing, стр. 281-297. Springer, (2023)VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets., , , и . CoRR, (2024)Continuous Fuzzing: A Study of the Effectiveness and Scalability of Fuzzing in CI/CD Pipelines., , , , и . SBFT, стр. 25-32. IEEE, (2023)Private computation of polynomials over networks., , и . Syst. Control. Lett., (2022)Poster: Privacy-preserving Genome Analysis using Verifiable Off-Chain Computation., , , и . CCS, стр. 3475-3477. ACM, (2022)Formal analysis of XACML policies using SMT., , , и . Comput. Secur., (2017)Federated Synthetic Data Generation with Stronger Security Guarantees., , , и . SACMAT, стр. 31-42. ACM, (2023)