Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure.
Lesly-Ann DanielSébastien BardinTamara RezkPublished in: ACM Trans. Priv. Secur. (2023)
Keyphrases
- security issues
- access control
- intrusion detection
- information security
- network security
- security systems
- statistical databases
- symbolic representation
- security requirements
- non binary
- security mechanisms
- security policies
- security protocols
- computer security
- security level
- high level
- secret key
- hamming distance
- smart card
- low cost