Roberto Metere
Roberto Metere
Security Researcher, Newcastle University
Verified email at - Homepage
Cited by
Cited by
Socially-conforming cooperative computation in cloud networks
T Li, BB Gupta, R Metere
Journal of Parallel and Distributed Computing 117, 274-280, 2018
Efficient delegated private set intersection on outsourced private datasets
A Abadi, S Terzis, R Metere, C Dong
IEEE Transactions on Dependable and Secure Computing, 2017
Automated cryptographic analysis of the Pedersen commitment scheme
R Metere, C Dong
International Conference on Mathematical Methods, Models, and Architectures …, 2017
Analyzing and patching SPEKE in ISO/IEC
F Hao, R Metere, SF Shahandashti, C Dong
IEEE Transactions on Information Forensics and Security 13 (11), 2844-2855, 2018
TrABin: Trustworthy analyses of binaries
A Lindner, R Guanciale, R Metere
Science of Computer Programming 174, 72-89, 2019
Sound transpilation from binary to machine-independent code
R Metere, A Lindner, R Guanciale
Brazilian Symposium on Formal Methods, 197-214, 2017
A certificateless signature scheme and a certificateless public auditing scheme with authority trust level 3+
F Li, D Xie, W Gao, K Chen, G Wang, R Metere
Journal of Ambient Intelligence and Humanized Computing, 1-10, 2017
End-to-End Verifiable E-Voting Trial for Polling Station Voting at Gateshead
F Hao, S Wang, S Bag, R Procter, SF Shahandashti, M Mehrnezhad, ...
IEEE Security & Privacy, 2020
Modelling Load-Changing Attacks in Cyber-Physical Systems
L Arnaboldi, RM Czekster, R Metere, C Morisset
arXiv preprint arXiv:1911.12757, 2019
Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols
L Arnaboldi, R Metere
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
Incentive-driven attacker for corrupting two-party protocols
Y Wang, R Metere, H Zhou, G Cui, T Li
Soft Computing 22 (23), 7733-7740, 2018
The system can't perform the operation now. Try again later.
Articles 1–11