Giters

isstac / spf-sca

Side-channel analysis via symbolic execution

Home Page:https://veris-cylab.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

side-channel-attackssymbolic-executionquantitative-information-flowjava

This repository is not active

About

Side-channel analysis via symbolic execution

https://veris-cylab.github.io/

side-channel-attackssymbolic-executionquantitative-information-flowjava

License:MIT License

Languages

Language:Java 100.0%Language:Shell 0.0%