Implementations of Algorithms from the Thesis "Timing Sensitive Dependency Analysis and its Application to Software Security"
收藏DataCite Commons2020-08-24 更新2025-04-16 收录
下载链接：
https://publikationen.bibliothek.kit.edu/1000122605
下载链接
链接失效反馈官方服务：
资源简介：
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
创建时间：
2020-08-24
