Search results for: Manuel Barbosa
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 37-52
Lecture Notes in Computer Science > Information Security and Privacy > Public Key Cryptography > 145-163
Lecture Notes in Computer Science > Computer Security – ESORICS 2010 > Cryptographic Protocols > 151-167
Lecture Notes in Computer Science > Progress in Cryptology – AFRICACRYPT 2009 > Key Agreement Protocols > 235-253
Lecture Notes in Computer Science > Information Security and Privacy > Public Key Cryptography > 164-181
2015 IEEE Symposium on Security and Privacy > 271 - 286
Science of Computer Programming > 2014 > 91 > Part B > 216-233
Science of Computer Programming > 2013 > 78 > 7 > 796-812
Innovations in Systems and Software Engineering > 2010 > 6 > 3 > 203-218