Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.

Lesly-Ann Daniel Sébastien Bardin Tamara Rezk

Published in: CoRR (2022)

Keyphrases

security issues
intrusion detection
neural network
non binary
security policies
security requirements
high level
security threats
security systems
symbolic representation
hamming distance
network security
security mechanisms
cyber security
access control
low cost
symbolic description