Paper accepted at S&P 2025
Our paper about analyzing the iOS local network permission has been accepted at S&P 2025.
CD-Lab AsTra focuses on advancing the methodological foundations of software protection, particularly against Man-at-the-end attacks. It researches verifiable protection methodologies for binary code and integrates them seamlessly into existing high-security software development processes.
Follow the CD lab AsTra blog to stay updated on cutting-edge research in software protection. Our blog delves into the latest advancements in defending against MATE attacks, exploring innovative methodologies and formally verifiable and measurable protection techniques.
Our paper about analyzing the iOS local network permission has been accepted at S&P 2025.
The opening ceremony of the lab took place on June 10th at the University of Vienna.
Our paper on bit-flip attacks for graph neural network has been accepted at KDD 2024.