Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala. Solver-Aided Constant-Time Hardware Verification. In Yongdae Kim, Jong Kim 0001, Giovanni Vigna, Elaine Shi, editors, CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. pages 429-444, ACM, 2021. [doi]
@inproceedings{GleissenthallKS21, title = {Solver-Aided Constant-Time Hardware Verification}, author = {Klaus von Gleissenthall and Rami Gökhan Kici and Deian Stefan and Ranjit Jhala}, year = {2021}, doi = {10.1145/3460120.3484810}, url = {https://doi.org/10.1145/3460120.3484810}, researchr = {https://researchr.org/publication/GleissenthallKS21}, cites = {0}, citedby = {0}, pages = {429-444}, booktitle = {CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021}, editor = {Yongdae Kim and Jong Kim 0001 and Giovanni Vigna and Elaine Shi}, publisher = {ACM}, isbn = {978-1-4503-8454-4}, }