Research output per year
Research output per year
Personal profile
Keywords
- QA76 Computer software
- Security
- Formal methods
- Formal verification
- Cryptography
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Automating Cryptographic Protocol Language Generation from Structured Specifications
Metere, R. & Arnaboldi, L., 21 Jul 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 91-101 11 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Incorporating Cyber Threat Intelligence into Complex Cyber-Physical Systems: A STIX Model for Active Buildings
Czekster, R. M., Metere, R. & Morisset, C., 16 May 2022, In: Applied Sciences (Switzerland). 12, 10, 19 p., 5005.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
End-to-End Verifiable E-Voting Trial for Polling Station Voting
Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L. Y. J., 1 Nov 2020, In: IEEE Security & Privacy. 18, 6, p. 6-13 8 p., 9152966.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 1 Active
-
CHEDDAR : Communications Hub for Empowering Distributed clouD computing Applications and Research - TMF uplift
Yadav, P., Ahmadi, H., Calinescu, R., Grace, D., Lucamarini, M., Metere, R., Olayiwola, O. I. & Ottaviani, C.
1/12/23 → 31/03/25
Project: Research project (funded) › Research
-
Designated Expert
Roberto Metere (Advisor)
14 Jan 2024 → 19 Jan 2024Activity: Consultancy › Consultancy (in kind)
-
Public Key Infrastructure Consortium (PKI Consortium) (External organisation)
Roberto Metere (Advisor)
2024Activity: Membership › Association
-