LaBRADOR: Compact Proofs for R1CS from Module-SIS
- Ward Beullens
- Gregor Seiler
- 2023
- CRYPTO 2023
Publications
659 results for Security
Graph-Theoretic Algorithms for the Alternating Trilinear Form Equivalence Problem
- Ward Beullens
- 2023
- CRYPTO 2023
Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification
- Jonathan Bootle
- Alessandro Chiesa
- et al.
- 2023
- CRYPTO 2023
On the Hardness of Scheme-Switching Between SIMD FHE Schemes
- Karim Eldefrawy
- Nicholas Genise
- et al.
- 2023
- PQCrypto 2023
Easy-plane dominant stochastic magnetic tunnel junction with synthetic antiferromagnetic layers
- Jonathan Z. Sun
- Christopher Safranski
- et al.
- 2023
- Physical Review B
Evaluating IP Blacklists effectiveness
- Luca Deri
- Francesco Fusco
- 2023
- FiCloud 2023
Efficient ransomware detection with machine learning in storage systems
- 2023
- FMS 2023
How to Bind Anonymous Credentials to Humans
- Julia Hesse
- Nitin Singh
- et al.
- 2023
- USENIX Security 2023
Not All Data are Created Equal: Data and Pointer Prioritization for Scalable Protection Against Data-Oriented Attacks
- Salman Ahmed
- Hans Liljestrand
- et al.
- 2023
- USENIX Security 2023
Federated Learning of Models Pre-Trained on Different Features with Consensus Graphs
- Tengfei Ma
- Trong Nghia Hoang
- et al.
- 2023
- UAI 2023