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
-
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems
Metere, R., Czekster, R. M. & Arnaboldi, L., 14 Jun 2024, 2024 13th Mediterranean Conference on Embedded Computing, MECO 2024. Institute of Electrical and Electronics Engineers Inc., (2024 13th Mediterranean Conference on Embedded Computing, MECO 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification
Metere, R., Ye, K., Gu, Y., Zhang, Z., Alrajeh, D., Sevegnani, M. & Yadav, P., 6 Nov 2024, arXiv, 22 p.Research output: Working paper › Preprint
File -
User-Guided Verification of Security Protocols via Sound Animation
Ye, K., Metere, R. & Yadav, P., 26 Nov 2024, Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Proceedings. Madeira, A. & Knapp, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 33-51 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15280 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Designated Expert
Metere, R. (Advisor)
14 Jan 2024 → 19 Jan 2024Activity: Consultancy › Consultancy (in kind)
-
-
Public Key Infrastructure Consortium (PKI Consortium) (External organisation)
Metere, R. (Advisor)
2024Activity: Membership › Association