%0 Journal Article %1 journals/corr/abs-2302-12108 %A Daniel, Lesly-Ann %A Bognar, Marton %A Noorman, Job %A Bardin, Sébastien %A Rezk, Tamara %A Piessens, Frank %D 2023 %J CoRR %K dblp %T ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-12108 %V abs/2302.12108

@article{journals/corr/abs-2302-12108, added-at = {2023-02-28T00:00:00.000+0100}, author = {Daniel, Lesly-Ann and Bognar, Marton and Noorman, Job and Bardin, Sébastien and Rezk, Tamara and Piessens, Frank}, biburl = {https://www.bibsonomy.org/bibtex/231079f9308c7e70c218d7a6950ea00e5/dblp}, ee = {https://doi.org/10.48550/arXiv.2302.12108}, interhash = {1dd32f0622c0c4ca907d1be53d08b51f}, intrahash = {31079f9308c7e70c218d7a6950ea00e5}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:24:50.000+0200}, title = {ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-12108}, volume = {abs/2302.12108}, year = 2023 }