• Park, S.H., Pai, R., Melham, T.A Formal CHERI-C Semantics for Verification ”. In 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). (Accepted/In press).
  • Lefeuvre, H., Bădoiu, V.A., Chien, Y., Huici, F., Dautenhahn, N., Olivier, P.Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software”. In Proceedings of 30th Network and Distributed System Security (NDSS’23). Internet Society. (Accepted/In press).
  • Aljaafari, F.K., Menezes, R., Manino, E., Shmarov, F., Mustafa, M.A., Cordeiro, L.C.Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs”. In IEEE Access, vol. 10, pp. 121365-121384, 2022 .
  • Bhayat, A., Georgiou, P., Eisenhofer, C., Kovács, L., Reger, G.Lemmaless Induction in Trace Logic”. In International Conference on Intelligent Computer Mathematics (CICM 2022). Lecture Notes in Computer Science, vol 13467, pp. 191-208. Springer, Cham, 2022.
  • Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M., Olivier, P., Reger, G., Shmarov, F.Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities”. Proceedings of the IEEE Secure Development Conference (SECDEV22), 2022.
  • Brauße, F., Shmarov, F., Menezes, R., Gadelha, M.R., Korovin K., Reger, G., Cordeiro, L.ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC”. To appear in ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022), 2022.
  • Alshmrany, K., Aldughaim, M, Bhayat, A., Cordeiro, L.FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing”. In Fundamental Approaches to Software Engineering. FASE 2022. Lecture Notes in Computer Science, vol 13241. Springer, Cham, 2022.
  • Song, K., Matulevicius N., de Lima Filho, E.B., Cordeiro, L.ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts”. In 44th International Conference on Software Engineering (ICSE 2022), 2022.
  • Gao D., Melham T.End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers”. In 2021 Formal Methods in Computer Aided Design (FMCAD) 2021 Oct 19 (pp. 24-33). IEEE.
  • Lefeuvre, H., Bădoiu, V.A., Teodorescu, Ş., Olivier, P., Mosnoi, T., Deaconescu, R., Huici, F. Raiciu, C.FlexOS: making OS isolation flexible”. In Proceedings of the Workshop on Hot Topics in Operating Systems (pp. 79-87) 2021, June.
  • Alshmrany, K., Aldughaim, M., Bhayat, A., Cordeiro, L.FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs”. In 15th International Conference on Tests and Proofs (TAP), LNCS 12740, pp. 85-105, 2021.
  • Alshmrany, K., Menezes, R., Gadelha, M., Cordeiro, L.FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)”. In 24th International Conference on Fundamental Approaches to Software Engineering (FASE), LNCS 12649, pp. 363-367, 2021.
  • Reger, G., Schoisswohl, J., Voronkov, A.Making Theory Reasoning Simpler”. In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS 12652, pp. 164-180, 2021.