@inproceedings{ACM PEI,
  author       = {David A. Basin and
                  Fran{\c{c}}ois Hublet and
                  Srdan Krstic and
                  Ho{\`{a}}ng Nguyen},
  editor       = {Chun{-}Ying Huang and
                  Jyh{-}Cheng Chen and
                  Shiuh{-}Pyng Shieh and
                  David Lie and
                  V{\'{e}}ronique Cortier},
  title        = {Mechanizing Privacy by Design},
  booktitle    = {Proceedings of the 2025 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2025, Taipei, Taiwan, October 13-17,
                  2025},
  pages        = {2--5},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.115/3719027.3748271},
  doi          = {10.1145/3719027.3748271},
  timestamp    = {Sun, 07 Dec 2025 22:09:40 +0100},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}