Sammartino, Matteo

1. Symbolic Register Automata
   2018/11/16 by D'Antoni, Loris, Ferreira, Tiago, Sammartino, Matteo +1 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
2. ALARM: Active LeArning of Rowhammer Mitigations
   2022/11/30 by Amir Naseredini, Martin Berger, Naseredini, Amir +5 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Security and Verification in Computing