Kotaro Matsuoka
Orcid: 0000-0002-6642-1276
According to our database1,
Kotaro Matsuoka
authored at least 6 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
3
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Runtime Verification - 24th International Conference, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2022
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the 30th USENIX Security Symposium, 2021
Proceedings of the WAHC '21: Proceedings of the 9th on Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2021