prover

IEEE Symposium on Security and Privacy·18 min

• IEEE SP
• Hardware
• Date: 2025
• Location: Ieee Sp

Security researchers examine technical aspects of A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.

IEEE Symposium on Security and Privacy·14 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Analysts investigate attack surfaces and defenses concerning An Interactive Prover for Protocol Verification in the Computational Model.