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.
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.


Sign up for REWIRE

Be the first to learn about project progress updates, results, events, publications, and more!
*By signing up to receive the periodical newsletter you accept REWIRE Privacy & Cookies Policy