Publications

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.