Matsuoka, Kotaro

1. Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE
   2020/10/19 by Kotaro Matsuoka, Ryotaro Banno, Matsuoka, Kotaro +7 · 1 citation
   Computer Science · #Cryptographic Implementations and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
2. Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
   2022/06/03 by Ryotaro Banno, Banno, Ryotaro, Kotaro Matsuoka +9 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Optimization and Search Problems