Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head.
José Bacelar AlmeidaManuel BarbosaManuel L. CorreiaKarim EldefrawyStéphane Graham-LengrandHugo PachecoVitor PereiraPublished in: CCS (2021)
Keyphrases
- information security
- security systems
- intrusion detection
- network security
- security policies
- information assurance
- security level
- security requirements
- security issues
- dynamic model
- computational complexity
- access control
- security mechanisms
- information systems
- semantic relations
- statistical databases
- theorem proving
- temporal relations
- np hard
- theorem prover
- security management
- background knowledge
- attribute values
- functional requirements
- batch processing
- security threats
- natural deduction
- closed loop