Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
José Carlos Bacelar AlmeidaManuel BarbosaKarim EldefrawyStéphane Graham-LengrandHugo PachecoVitor PereiraPublished in: CoRR (2021)
Keyphrases
- video sequences
- access control
- information security
- security issues
- np complete
- security policies
- security requirements
- intrusion detection
- security threats
- security mechanisms
- network security
- computational complexity
- np hard
- theorem proving
- security management
- security problems
- semantic relations
- efficient implementation
- theorem prover
- key management
- computer security
- security systems
- security level
- modal logic
- closed loop
- database