refinement

IEEE Symposium on Security and Privacy·14 min

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

Industry experts analyze emerging threats surrounding Less Is More: Refinement Proofs for Probabilistic Proofs.

IEEE Symposium on Security and Privacy·8 min

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

Refinement Types Junrui Liu

Industry experts analyze emerging threats surrounding 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu.