%0 Conference Paper %1 conf/ccs/ChoudharyWZ0F23 %A Choudhary, Rutvik %A Wang, Alan %A Zhao, Zirui Neil %A Morrison, Adam %A Fletcher, Christopher W. %B CCS %D 2023 %E Meng, Weizhi %E Jensen, Christian Damsgaard %E Cremers, Cas %E Kirda, Engin %I ACM %K dblp %P 2053-2067 %T Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2023.html#ChoudharyWZ0F23

@inproceedings{conf/ccs/ChoudharyWZ0F23, added-at = {2023-11-28T00:00:00.000+0100}, author = {Choudhary, Rutvik and Wang, Alan and Zhao, Zirui Neil and Morrison, Adam and Fletcher, Christopher W.}, biburl = {https://www.bibsonomy.org/bibtex/200856b35371e61c30b4d3ba636b48526/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2023}, editor = {Meng, Weizhi and Jensen, Christian Damsgaard and Cremers, Cas and Kirda, Engin}, ee = {https://doi.org/10.1145/3576915.3623065}, interhash = {2d63f475cb2f1fd6823640704711f1e3}, intrahash = {00856b35371e61c30b4d3ba636b48526}, keywords = {dblp}, pages = {2053-2067}, publisher = {ACM}, timestamp = {2024-04-09T10:14:25.000+0200}, title = {Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2023.html#ChoudharyWZ0F23}, year = 2023 }