A Coq framework for more trustworthy DRAM controllers F Lisboa Malaquias, M Asavoae, F Brandner Proceedings of the 30th International Conference on Real-Time Networks and …, 2022 | 3 | 2022 |
Towards a Methodology to Design Provably Secure Cyber-physical Systems F Lisboa Malaquias, G Giantamidis, S Basagiannis, S Fulvio Rollini, ... ACM SIGAda Ada Letters 43 (1), 94-99, 2023 | 1 | 2023 |
A formal framework to design and prove trustworthy memory controllers F Lisboa Malaquias, M Asavoae, F Brandner Real-Time Systems 59 (4), 664-704, 2023 | | 2023 |
From the Standards to Silicon: Formally Proved Memory Controllers FL Malaquias, M Asavoae, F Brandner NASA Formal Methods Symposium, 295-311, 2023 | | 2023 |