@inproceedings{SP27-ctgrep,
  author       = {Liu, Jing and Gavier, Lucía Martinez and Zhang, Zhiyuan and B{\"o}hme, Marcel and Barthe, Gilles},
  booktitle    = {Proceedings of the 48th IEEE Symposium on Security and Privacy }, 
  numpages     = {18},
  series       = {S\&P'27},
  title        = {Analyzing Compiler-induced Constant-time Violations with Compiler at Scale},
  year         = {2027},
  abstract     = {Practical and scalable detection of compiler-induced side channels using the compiler itself.},
}