%0 Journal Article %1 journals/tches/AbdulrahmanBKK24 %A Abdulrahman, Amin %A Becker, Hanno %A Kannwischer, Matthias J. %A Klein, Fabien %D 2024 %J IACR Trans. Cryptogr. Hardw. Embed. Syst. %K dblp %N 1 %P 87-132 %T Fast and Clean: Auditable high-performance assembly via constraint solving. %U http://dblp.uni-trier.de/db/journals/tches/tches2024.html#AbdulrahmanBKK24 %V 2024

@article{journals/tches/AbdulrahmanBKK24, added-at = {2024-01-02T00:00:00.000+0100}, author = {Abdulrahman, Amin and Becker, Hanno and Kannwischer, Matthias J. and Klein, Fabien}, biburl = {https://www.bibsonomy.org/bibtex/2683d22ca1a7d8f6e41c9300c54577a32/dblp}, ee = {https://doi.org/10.46586/tches.v2024.i1.87-132}, interhash = {fc29aa8761b0a7d34ab5d6979faa2f8e}, intrahash = {683d22ca1a7d8f6e41c9300c54577a32}, journal = {IACR Trans. Cryptogr. Hardw. Embed. Syst.}, keywords = {dblp}, number = 1, pages = {87-132}, timestamp = {2024-04-09T03:04:02.000+0200}, title = {Fast and Clean: Auditable high-performance assembly via constraint solving.}, url = {http://dblp.uni-trier.de/db/journals/tches/tches2024.html#AbdulrahmanBKK24}, volume = 2024, year = 2024 }