• 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. and 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., and 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.