As the project implementation progresses, peer-reviewed journal and conference papers and other publications stemming from and acknowledging REWIRE, are being made available here. Stay tuned for our updates!

Journal Papers

coming soon…

Conference Papers

[1] Corentin Verhamme, Gaëtan Cassiers, and François-Xavier Standaert. 2023. Analyzing the Leakage Resistance of the NIST’s Lightweight Crypto Competition’s Finalists. In Smart Card Research and Advanced Applications: 21st International Conference, CARDIS 2022, Birmingham, UK, November 7–9, 2022, Revised Selected Papers. Springer-Verlag, Berlin, Heidelberg, 290–308. https://doi.org/10.1007/978-3-031-25319-5_15
Download from DIAL@UCLouvain

[2] Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rollini, Isaac Admundson. Towards a methodology to design provably secure cyber-physical systems, The 27th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2023), Lisboa, Portugal. Accepted.

[3] Malaquias, F.L., Asavoae, M., Brandner, F. (2023). From the Standards to Silicon: Formally Proved Memory Controllers. In: Rozier, K.Y., Chaudhuri, S. (eds) NASA Formal Methods. NFM 2023. Lecture Notes in Computer Science, vol 13903. Springer, Cham. https://doi.org/10.1007/978-3-031-33170-1_18