Implementations of Algorithms from the Thesis "Timing Sensitive Dependency Analysis and its Application to Software Security"
收藏DataCite Commons2023-11-15 更新2025-04-16 收录
下载链接：
https://radar.kit.edu/radar/en/dataset/WCGpqhzCQZhopzoI
下载链接
链接失效反馈官方服务：
资源简介：
In der Dissertation "Timing Sensitive Dependency Analysis and its Application to Software Security" präsentiere ich neue Verfahren zur statischen Analyse von Ausführungszeit-sensitiver Informationsflusskontrolle in Softwaresystemen. Ich wende diese Verfahren an zur Analyse nebenläufiger Java-Programme, sowie zur Analyse von Ausführungszeit-Seitenkanälen in Implementierungen kryptographischer Primitive. In diesem VirtualBox Maschinen-Abbild stelle ich Implementierungen aller neuen Algorithmen dieser Dissertation bereit, zusammen mit randomisierten Test-Eigenschaften für alle formalen Observationen der Dissertation.
提供机构：
Karlsruhe Institute of Technology
创建时间：
2023-06-22
