Kostas Ferles
Orcid: 0000-0002-8370-5465
According to our database1,
Kostas Ferles
authored at least 15 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
2
1
2
1
1
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IACR Cryptol. ePrint Arch., 2024
2023
IACR Cryptol. ePrint Arch., 2023
2022
Proc. ACM Program. Lang., 2022
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).
CoRR, 2022
2021
Proc. ACM Program. Lang., 2021
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
2020
2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2017