Volver atrás Publicación
Erbatur Serdar, Escobar Román Santiago, Kapur Deepak, Liu Zhiqiang, Lynch Christopher, Catherine Meadows, José Meseguer, Narendran Paliath, Santiago Pinazo Sonia, Sasse Ralf
2013
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis