Code accompanying NeurIPS '23 accepted paper "SALSA VERDE a machine learning attack on Learning with Errors with sparse small secrets"
☆21Nov 29, 2023Updated 2 years ago
Alternatives and similar repositories for verde
Users that are interested in verde are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code for the paper SALSA Attacking Lattice Cryptography with Transformers (Wenger et al., Neurips 2022)☆30Nov 22, 2022Updated 3 years ago
- ☆14May 21, 2025Updated last year
- Synthetic LISA: a noise and signal simulator for LISA-like gravitational-wave observatories☆16Sep 14, 2017Updated 8 years ago
- An open-source, modular Python toolbox to easily calculate satellite link budgets☆13Jun 11, 2021Updated 5 years ago
- Motion4D - A library for lightrays and timelike worldlines in the theory of relativity☆15Jan 8, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Lecture notes and other stuff for PiTP 2016 Summer School☆17Jul 29, 2016Updated 10 years ago
- Solutions to The Road to Reality by Roger Penrose☆16Apr 2, 2020Updated 6 years ago
- Python code to compute optimal protocol parameters for different QKD protocols.☆17Feb 23, 2026Updated 6 months ago
- Link Budget Calculator☆21Mar 22, 2023Updated 3 years ago
- A GPU-accelerated N-body code optimized for planetary dynamics.☆20Mar 3, 2023Updated 3 years ago
- Cross-Domain Imitation Learning via Optimal Transport☆27Jun 24, 2022Updated 4 years ago
- Modelling for different SatQKD systems☆23Jun 20, 2025Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆15Jul 11, 2026Updated last month
- Quantum Key Distribution simulation project for CSCI498: Introduction to Quantum Computing☆20Nov 12, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19Aug 18, 2021Updated 5 years ago
- Tiny evaluation of leading LLMs on competitive programming problems☆14Apr 10, 2026Updated 4 months ago
- Icechunk Pilot for NASA IMPACT☆14May 31, 2025Updated last year
- Global Precipitation Measurement (GPM) Ground Validation (GV) radar processing software (GVradar).☆10Jul 31, 2026Updated last month
- Website for the Black Hole Perturbation Toolkit☆21Updated this week
- Various notebooks about the Atmospheric General Circulation (radiative budget, meridional transport, zonal and transient anomalies, merid…☆11Jul 4, 2023Updated 3 years ago
- [NeurIPS-2023] The PyTorch Implementation of MoSo. The algorithms are based on our paper: "Data Pruning via Moving-one-Sample-out". MoSo …☆10May 21, 2026Updated 3 months ago
- (Moved to Codeberg) Extensible spacetime agnostic general relativistic ray-tracing (GRRT).☆35Nov 27, 2025Updated 9 months ago
- A Cesium plugin for visualizing sensor volumes☆35Jul 4, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- Code for "So similar and yet incompatible: Toward the automated identification of semantically compatible words" in NAACL 2015 proceedi…☆11May 11, 2015Updated 11 years ago
- An evolutionary algorithm-based optimization for tracking weights in the OpenSim Residual Reduction Algorithm (RRA).☆11Jul 17, 2023Updated 3 years ago
- fazic.fazibear.me☆23Apr 22, 2026Updated 4 months ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated 2 years ago
- ☆13Mar 19, 2021Updated 5 years ago
- Application for coupling hydrological kernels.☆17Aug 23, 2026Updated last week
- Implementation of SelfExtend from the paper "LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning" from Pytorch and Zeta☆13Nov 11, 2024Updated last year
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Minimal (truly) muP implementation, consistent with TP4 and TP5 papers notation☆14Jan 2, 2026Updated 8 months ago
- HURDAT is a dataset of best-track analysis for Atlantic and NE Pacific cyclones. This R package scrapes and parses that dataset.☆13Dec 6, 2020Updated 5 years ago
- Example code for the NNGeometry PyTorch library☆11Aug 20, 2025Updated last year
- Creates a CZML string based on TLE data for plotting in Satellites on the Cesium platform☆33Jul 13, 2021Updated 5 years ago
- An Empirical Study of Memorization in NLP (ACL 2022)☆13Jun 22, 2022Updated 4 years ago
- Materials from GW Open Data Workshop, 2024☆37May 27, 2024Updated 2 years ago
- workspace comprising demo packages for our roscon2018 talk☆10Dec 21, 2019Updated 6 years ago