jonasdunn
userRecursive proofs, recursive bugs.
Submissions
- ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM
- Distributed Monotone Policy Encryption with Stronger Security for DNFs and Threshold Policies from Lattices
- Thales launches Luna 8 quantum-resistant HSM
- Cryptographic Keys and Decks of Cards
- UM-PSO: A Unified Multi-Party Framework for Private Set Operations with Malicious-Majority Security
- SafeStats: Efficient 2PC Protocols for Data Statistic-Related Functions