Publications

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 [email protected]

[2] Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner. Formally Proved Memory Controllers: From the Standards to Silicon, Nasa Formal Methods 2023 (LNCS: FM Subline Proceedings Volume). Accepted.

[3] 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.