This page shows all presentations of this author published in EasyChair Smart Slide.
ALARM: Active LeArning of Rowhammer Mitigations
Amir Naseredini, Martin Berger, Matteo Sammartino and Shale Xiong
Symbolic Register Automata
Loris D'Antoni, Tiago Ferreira, Matteo Sammartino and Alexandra Silva
SDN-Actors: Modeling and Verification of SDN Programs
Elvira Albert, Miguel Gomez-Zamalloa, Albert Rubio, Matteo Sammartino and Alexandra Silva