%0 Conference Paper %1 conf/osdi/AthalyeKZ22 %A Athalye, Anish %A Kaashoek, M. Frans %A Zeldovich, Nickolai %B OSDI %D 2022 %E Aguilera, Marcos K. %E Weatherspoon, Hakim %I USENIX Association %K dblp %P 503-519 %T Verifying Hardware Security Modules with Information-Preserving Refinement. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2022.html#AthalyeKZ22 %@ 978-1-939133-28-1

@inproceedings{conf/osdi/AthalyeKZ22, added-at = {2022-10-11T00:00:00.000+0200}, author = {Athalye, Anish and Kaashoek, M. Frans and Zeldovich, Nickolai}, biburl = {https://www.bibsonomy.org/bibtex/2b3a036bcbaea92aa73529e1990d06f85/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2022}, editor = {Aguilera, Marcos K. and Weatherspoon, Hakim}, ee = {https://www.usenix.org/conference/osdi22/presentation/athalye}, interhash = {53015560627c43fb0e77938c01d4c375}, intrahash = {b3a036bcbaea92aa73529e1990d06f85}, isbn = {978-1-939133-28-1}, keywords = {dblp}, pages = {503-519}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:32.000+0200}, title = {Verifying Hardware Security Modules with Information-Preserving Refinement.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2022.html#AthalyeKZ22}, year = 2022 }