%0 Conference Paper %1 conf/issre/BreuerB14 %A Breuer, Peter T. %A Bowen, Jonathan P. %B ISSRE Workshops %D 2014 %I IEEE Computer Society %K dblp %P 365-370 %T Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing. %U http://dblp.uni-trier.de/db/conf/issre/issre2014w.html#BreuerB14 %@ 978-1-4799-7377-4

@inproceedings{conf/issre/BreuerB14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Breuer, Peter T. and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2606e6639ac42278ea828542a0db41b22/dblp}, booktitle = {ISSRE Workshops}, crossref = {conf/issre/2014w}, ee = {https://www.wikidata.org/entity/Q56939532}, interhash = {699987985ca55bfbfccb63b8572cadf8}, intrahash = {606e6639ac42278ea828542a0db41b22}, isbn = {978-1-4799-7377-4}, keywords = {dblp}, pages = {365-370}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:04:08.000+0200}, title = {Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2014w.html#BreuerB14}, year = 2014 }