Index:SoK Exploring Current and Future Research Directions on XS-Leaks through an Extended Formal Model.pdf