%0 Conference Paper %1 conf/icfem/JiangZSZL22 %A Jiang, Ke %A Zhang, Tianwei %A Sanán, David %A Zhao, Yongwang %A Liu, Yang %B ICFEM %D 2022 %E Riesco, Adrián %E Zhang, Min %I Springer %K dblp %P 190-208 %T A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#JiangZSZL22 %V 13478 %@ 978-3-031-17244-1

@inproceedings{conf/icfem/JiangZSZL22, added-at = {2023-06-26T00:00:00.000+0200}, author = {Jiang, Ke and Zhang, Tianwei and Sanán, David and Zhao, Yongwang and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2286f86f699625d596fbbe4bde1dea29d/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2022}, editor = {Riesco, Adrián and Zhang, Min}, ee = {https://doi.org/10.1007/978-3-031-17244-1_12}, interhash = {b2001f9deb5ab57b7a610f158176df6a}, intrahash = {286f86f699625d596fbbe4bde1dea29d}, isbn = {978-3-031-17244-1}, keywords = {dblp}, pages = {190-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:49.000+0200}, title = {A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2022.html#JiangZSZL22}, volume = 13478, year = 2022 }