Tachio Terauchi, Timos Antonopoulos. Bucketing and information flow analysis for provable timing attack mitigation. Journal of Computer Security, 28(6):607-634, 2020. [doi]
@article{TerauchiA20, title = {Bucketing and information flow analysis for provable timing attack mitigation}, author = {Tachio Terauchi and Timos Antonopoulos}, year = {2020}, doi = {10.3233/JCS-191356}, url = {https://doi.org/10.3233/JCS-191356}, researchr = {https://researchr.org/publication/TerauchiA20}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {28}, number = {6}, pages = {607-634}, }