Moreira, José

1. Automatic verification of transparency protocols (extended version)
   2023/03/08 by Vincent Cheval, José Cláudio Fonseca Moreira, José Moreira +4 · 1 voice
   Computer Science · Social Sciences · #Access Control and Trust #C.2.2 #Cryptography and Data Security #Cryptography and Security (cs.CR) #D.2.4 #F.3.1 #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #cs.CR
2. Advancing Direct Convolution using Convolution Slicing Optimization and ISA Extensions
   2023/03/08 by Victor Ferrari, Ferrari, Victor, Rafael Sousa +11 · 1 citation
   Computer Science · #Advanced Neural Network Applications #Computer Vision and Pattern Recognition (cs.CV) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Performance (cs.PF)