C4DT Affiliated Lab Projects

This page presents all projects from the labs affiliated to the Center for Digital Trust. You can filter the projects according to your preferences. Clicking on one of the projects will show an in-depth description.

For questions, please contact Linus Gasser

Name	Description	Professor — Lab	Date last commit
Privacy Protection & Cryptography
Calypso	Encrypted storage with access control	Bryan Ford — DEDIS	2022-06-30
SPINDLE	Scalable, privacy-preserving, distributed learning on distributed datasets	Jean-Pierre Hubaux — LDS
lightarti-rest	A Rust library to perform REST requests over the Tor network for mobile applications.	Carmela Troncoso — SPRING	2022-11-14
MedCo	Privacy-preserving cohort exploration	Jean-Pierre Hubaux — LDS	2022-05-25
Free GAEN alternative	LibreCHovid - Alternative to GAEN for contact tracing applications	Mathias Payer — HexHive	2021-07-15
Drynx	Decentralized, secure, verifiable system for statistical queries and machine learning on distributed datasets	Jean-Pierre Hubaux — LDS
Decentralized Privacy-Preserving Proximity Tracing	A privacy preserving exposure notification protocol to inform people about possible exposure to the COVID-19 virus	Carmela Troncoso — SPRING	2022-12-14
CrowdNotifier	Decentralized Privacy-Preserving Presence Tracing	Carmela Troncoso — SPRING	2021-09-09
Odyssey	Auditable Sharing and Management of Sensitive Data Across Jurisdictions	Bryan Ford — DEDIS	2020-10-01
Tandem / Monero	Applying the privacy-preserving algorithms of Tandem to the usage of the Monero blockchain.	Carmela Troncoso — SPRING
E-ID Hands-on Workshop	A hands-on workshop showing how cryptography can preserve privacy and security of an E-ID solution.	Jean-Pierre Hubaux — C4DT	2024-11-08
non/transferable anonymous tokens	Anonymous tokens with non-transferability and accountability	Serge Vaudenay — LASEC	2024-04-20
Kyber	Cryptographic library	Bryan Ford — DEDIS	2024-03-18
Proof-of-Personhood	Proof that you are an actual person while keeping your anonymity	Bryan Ford — DEDIS	2024-03-11
arkworks	Rust ecosystem for zkSNARK programming	Alessandro Chiesa — COMPSEC	2024-03-08
E-ID Demo (Issuer & Verifier)	Demo for the swiss E-ID ledger. It includes an issuer and a verifier.	Jean-Pierre Hubaux — C4DT	2024-01-01
tero project	Studying Internet latency from Gaming Footage	Katerina Argyraki — NAL	2023-12-12
wehey	WeHe𝕐 - Localizing Traffic Differentiation	Katerina Argyraki — NAL	2023-12-05
APIR	Authenticated Private Information Retrieval	Bryan Ford — DEDIS	2023-09-05
GenIE	Autoregressive information extraction system	Robert West — DLAB	2023-03-28
Lattigo	A lattice-based multiparty homomorphic encryption library in Go	Jean-Pierre Hubaux — LDS	2023-03-14
DiPPS	Differentially Private Propensity Scores for Bias Correction	Robert West — DLAB	2022-10-02
DatashareNetwork	Decentralized privacy-preserving search engine for investigative journalists	Carmela Troncoso — SPRING	2022-09-21
WebGraph	Capturing Advertising and Tracking Information Flows for Robust Blocking	Carmela Troncoso — SPRING	2022-08-25
SSCred	Library to facilitate anonymous authentication	Carmela Troncoso — SPRING	2022-07-08
E-voting	Decentralized, encrypted, fully anonymous e-voting	Bryan Ford — DEDIS	2022-06-02
Synthetic data privacy evaluation	Privacy evaluation framework for synthetic data publishing	Carmela Troncoso — SPRING	2022-05-13
VOTEAGAIN	Scalable coercion-resistant voting system	Carmela Troncoso — SPRING	2022-03-22
PriCell	Privacy preserving neural network learning for diseased cell classification	Jean-Pierre Hubaux — LDS	2022-03-05
Zero-Knowledge Swiss Knife	Library for prototyping composable zero-knowledge proofs in the discrete-log setting	Carmela Troncoso — SPRING	2022-03-02
Petrelic	Wrapper around RELIC pairings	Carmela Troncoso — SPRING	2022-02-15
ProCam	Privacy-preserving camera system tracking individual body temperatures	Touradj Ebrahimi — MMSPG	2022-01-04
CRISP	Offload computation to services while keeping data private	Jean-Pierre Hubaux — LDS	2021-12-03
DisparateVulnerability	Disparate Vulnerability to Membership Inference Attacks	Carmela Troncoso — SPRING	2021-10-20
mia	Library for running membership inference attacks (MIA) against machine learning models	Carmela Troncoso — SPRING	2021-10-20
Unlynx	Privacy-preserving data sharing	Jean-Pierre Hubaux — LDS	2021-10-11
DataShield	Configurable data confidentiality and integrity	Mathias Payer — HexHive	2021-01-01
MCSAuditing	Evaluation code for mobile crowdsourcing privacy	Carmela Troncoso — SPRING	2020-10-20
SecVM	Privacy-preserving classification	Robert West — DLAB	2020-08-17
Bayesian Differential Privacy	Data distribution-aware differential privacy	Boi Faltings — LIA	2020-08-12
Tandem	Centralized privacy-preserving secure key storage	Carmela Troncoso — SPRING	2020-06-14
Lightnion	Anonymous communication in browsers via the Tor network	Carmela Troncoso — SPRING	2020-01-20
offchainer	Ethereum smart contracts with secret parameters	Serge Vaudenay — LASEC	2020-01-14
PURBs	Metadata leakage prevention for encrypted communication and storage	Bryan Ford — DEDIS	2020-01-13
Hippiepug	Sublinear-traversal blockchains and efficient key-value Merkle trees	Carmela Troncoso — SPRING	2019-10-22
Trickster	Sophisticated attacks on Machine Learning models	Carmela Troncoso — SPRING	2019-04-18
ClaimChain	Prove your identity with regards to others	Carmela Troncoso — SPRING	2018-10-13
Matrix@EPFL	The Matrix server run for the EPFL community by the EPFL Center for Imaging with help from the EPFL Center for Digital Trust.	Jean-Pierre Hubaux — C4DT
Private Collection Matching Protocols	Framework to build privacy-preserving Private Collection Matching (PCM) systems	Carmela Troncoso — SPRING
ProShare	Privacy-preserving photo sharing	Touradj Ebrahimi — MMSPG
SEAL - Combating Phishing	"[seal] program to study the problem of phishing and the technical, organizational and legal measures to respond."	Jean-Pierre Hubaux — C4DT
Twins	Linking patients to their physical and digital TWINs	Bryan Ford — DEDIS
Blockchains & Smart Contracts
OmniLedger	Ethereum-like blockchain implementation based on skipchains	Bryan Ford — DEDIS	2023-09-27
Calypso	Encrypted storage with access control	Bryan Ford — DEDIS	2022-06-30
AT2	Asset Transfer System using lightweight broadcast-based primitives instead of consensus	Rachid Guerraoui — DCL	2022-02-24
d-voting	A decentralized, fully anonymous voting system for EPFL-internal elections.	Bryan Ford — DEDIS	2024-03-15
Odyssey	Auditable Sharing and Management of Sensitive Data Across Jurisdictions	Bryan Ford — DEDIS	2020-10-01
HBT	Token for conflicts zone	Bryan Ford — DEDIS	2024-03-15
arkworks	Rust ecosystem for zkSNARK programming	Alessandro Chiesa — COMPSEC	2024-03-08
DEDIS Ledger Architecture	Modular abstractions to perform Distributed Ledger (DL) operations	Bryan Ford — DEDIS	2024-03-05
Threshold Logical Clocks	Solving the consensus problem in a new way by creating a global clock	Bryan Ford — DEDIS	2023-04-21
Onet	Library for simulation and deployment of decentralized, distributed protocols	Bryan Ford — DEDIS	2021-09-30
Raft consensus protocol	Implementation of the Raft consensus protocol	Edouard Bugnion — DCSL	2020-03-27
offchainer	Ethereum smart contracts with secret parameters	Serge Vaudenay — LASEC	2020-01-14
Hippiepug	Sublinear-traversal blockchains and efficient key-value Merkle trees	Carmela Troncoso — SPRING	2019-10-22
carbon	Blockchain using lightweight broadcast-based primitives instead of consensus	Rachid Guerraoui — DCL
Twins	Linking patients to their physical and digital TWINs	Bryan Ford — DEDIS
Software Verification
Stainless for smart contracts	Stainless fork aimed at smart contracts	Viktor Kunčak — LARA	2020-10-03
Klint	Automated verification of network function binaries	George Candea — DSLAB	2024-02-19
Inox	Solver for higher-order functional programs, used by Stainless	Viktor Kunčak — LARA	2025-02-05
Stainless	Verification framework and tool for higher-order Scala programs.	Viktor Kunčak — LARA	2025-01-28
LISA	Proof assistant based on first-order logic and set theory	Viktor Kunčak — LARA	2024-10-08
RegElk	Linear regex engine for JavaScript in OCaml	Clément Pit-Claudel — SystemF	2024-04-04
tinyNF	A simpler and faster NIC driver model for network functions	George Candea — DSLAB	2023-02-17
SVSHI	Verification framework for smart infrastructures	George Candea — DSLAB	2022-08-12
PIX	Show performance of network functions	George Candea — DSLAB	2022-07-14
determ-checker	Find non-determinism in golang code	Bryan Ford — DEDIS	2022-06-20
Vigor	Formally verified and performant software middleboxes	George Candea — DSLAB	2021-03-06
BOLT	Performance contracts for software network functions	George Candea — DSLAB	2019-08-05
Failure Sketching	Automated debugging technique	George Candea — DSLAB	2015-10-06
Device and System Security
Tandem / Monero	Applying the privacy-preserving algorithms of Tandem to the usage of the Monero blockchain.	Carmela Troncoso — SPRING
E-ID Hands-on Workshop	A hands-on workshop showing how cryptography can preserve privacy and security of an E-ID solution.	Jean-Pierre Hubaux — C4DT	2024-11-08
DRand	Publicly verifiable randomness	Bryan Ford — DEDIS	2024-03-12
arkworks	Rust ecosystem for zkSNARK programming	Alessandro Chiesa — COMPSEC	2024-03-08
eBPF-SE	eBPF symbolic execution tool	George Candea — DSLAB	2024-03-05
x-heep	Open-source RISC-V system-on-chip for healthcare monitoring	David Atienza — ESL	2024-02-14
E-ID Demo (Issuer & Verifier)	Demo for the swiss E-ID ledger. It includes an issuer and a verifier.	Jean-Pierre Hubaux — C4DT	2024-01-01
S²E	Platform for writing tools that analyze the properties and behavior of software systems	George Candea — DSLAB	2023-12-10
RetroWrite	Static instrumentation of binaries for fuzzing and sanitation	Mathias Payer — HexHive	2023-11-30
ophcrack	Windows password cracker	Serge Vaudenay — LASEC	2023-11-29
Trio Architecture	Trio enables customizable user-level file systems with metadata integrity	Sanidhya Kashyap — RS3LAB	2023-08-24
Evocatio	Evocatio is a bug analyzer built on top of AFL++ and AddressSanitizer. It automatically discovers a bug’s capabilities.	Mathias Payer — HexHive	2023-07-21
TCLocks	Scalable transparent delegation locking protocols without application modification	Sanidhya Kashyap — RS3LAB	2023-05-20
WarpAttack	Bypassing CFI through Compiler-Introduced Double-Fetches	Mathias Payer — HexHive	2023-04-13
SieveFuzz	Optimizing Directed Fuzzing via Target-tailored Program State Restriction	Mathias Payer — HexHive	2023-04-10
ViDeZZo	Dependency-aware Virtual Device Fuzzing Framework	Mathias Payer — HexHive	2023-03-19
uBFT	Microsecond-scale BFT using Disaggregated Memory	Rachid Guerraoui — DCL	2023-03-14
datAFLow	Data-flow based fuzzing	Mathias Payer — HexHive	2023-02-01
Magma	A ground-truth fuzzing benchmark suite based on real programs with real bugs	Mathias Payer — HexHive	2022-12-07
Bitfiltrator	Bitfiltrator is an automated bitstream parameter extraction tool for Xilinx UltraScale and UltraScale+ FPGAs.	James Larus — VLSC	2022-11-27
GLeeFuzz	Fuzzing WebGL Through Error Message Guided Mutation	Mathias Payer — HexHive	2022-11-17
DatashareNetwork	Decentralized privacy-preserving search engine for investigative journalists	Carmela Troncoso — SPRING	2022-09-21
Igor	Crash deduplication through root-cause clustering	Mathias Payer — HexHive	2022-08-02
LightBlue	Automatic profile-aware debloating of bluetooth stacks	Mathias Payer — HexHive	2022-07-01
E-voting	Decentralized, encrypted, fully anonymous e-voting	Bryan Ford — DEDIS	2022-06-02
Abacus	Precise side-channel analysis	James Larus — VLSC	2022-05-17
ffmalloc	Memory allocation preventing "use-after-free" exploits	Sanidhya Kashyap — RS3LAB	2022-04-09
VOTEAGAIN	Scalable coercion-resistant voting system	Carmela Troncoso — SPRING	2022-03-22
SimNet	SimNet is a tool to simulate decentralized applications in the cloud	Bryan Ford — DEDIS	2022-02-24
PRIME	Boost robustness of images to common corruptions	Pascal Frossard — LTS4	2021-12-28
Midas	Systematic kernel TOCTTOU protection	Mathias Payer — HexHive	2021-12-08
Gramatron	Grammar-aware fuzzing	Mathias Payer — HexHive	2021-11-28
HexType	Efficient detection of type confusion errors for C++	Mathias Payer — HexHive	2021-11-16
HALucinator	Firmware re-hosting through abstraction layer emulation	Mathias Payer — HexHive	2021-10-06
dis-cover	Disassemble binaries and recover as much info as possible	Mathias Payer — HexHive	2021-09-03
FuZZan	Faster address sanitization to improve fuzzing speed	Mathias Payer — HexHive	2021-03-31
USBFuzz	Virtual environment for fuzzing USB peripherals	Mathias Payer — HexHive	2021-03-05
FuzzGen	Automatic fuzzer generation	Mathias Payer — HexHive	2020-11-30
BenchIoT	Security benchmarks for the Internet of Things	Mathias Payer — HexHive	2020-11-11
BOPC	Block-oriented programming compiler	Mathias Payer — HexHive	2020-11-05
Gotee	GoLang extension to allow a programmer to execute a goroutine within an enclave	Edouard Bugnion — DCSL	2020-09-20
Tandem	Centralized privacy-preserving secure key storage	Carmela Troncoso — SPRING	2020-06-14
ShadowStack	LLVM Implementation of different ShadowStack schemes for x86_64	Mathias Payer — HexHive	2020-05-02
offchainer	Ethereum smart contracts with secret parameters	Serge Vaudenay — LASEC	2020-01-14
libNVRAM	Log-free concurrent data structures	Rachid Guerraoui — DCL	2019-11-04
MVTIL	Multiversion Timestamp Locking (MVTL)	Rachid Guerraoui — DCL	2019-09-19
T-RECS	Testbed for multi-agent real-time control of electric grids	Jean-Yves Le Boudec — LCA2	2019-06-06
T-Fuzz	Fuzzing tool and crash analyzer	Mathias Payer — HexHive	2018-12-04
CFIXX	Protection for C++ internal code pointers	Mathias Payer — HexHive	2018-07-04
ASCYLIB + OPTIK	State-of-the-art concurrent data-structure library	Rachid Guerraoui — DCL	2018-01-19
iprp	Parallel redundancy protocol for IP networks	Jean-Yves Le Boudec — LCA2	2017-10-03
commelec-api	API for the Commelec real-time microgrid framework	Jean-Yves Le Boudec — LCA2	2017-06-29
MCTOP	A multi-core topology abstraction	Rachid Guerraoui — DCL	2017-05-04
LOCKIN	Automatically chose the best locking algorithm	Rachid Guerraoui — DCL	2017-04-19
FloDB	Unlocking memory in persistent key-value stores	Rachid Guerraoui — DCL	2017-03-28
HexPADS	Host-based, performance-counter-based attack detection system	Mathias Payer — HexHive	2016-01-07
ASAP	Low overhead software protection	George Candea — DSLAB	2015-12-03
CPI	Fast and precise control-flow hijack protection	George Candea — DSLAB	2015-11-16
Failure Sketching	Automated debugging technique	George Candea — DSLAB	2015-10-06
ConfErr	Quantify the resilience of software systems to human-induced configuration errors	George Candea — DSLAB	2015-03-14
LFI	Library-level fault injection toolkit	George Candea — DSLAB	2014-05-28
Cloud 9	Scalable symbolic execution	George Candea — DSLAB	2013-09-11
Dimmunix	Protection against deadlock bugs	George Candea — DSLAB	2012-04-24
cloud-performance-monitor	Monitoring and improving performance of cloud services	David Atienza — ESL
digital-twins	Virtual copies for real-time connections	David Atienza — ESL
Matrix@EPFL	The Matrix server run for the EPFL community by the EPFL Center for Imaging with help from the EPFL Center for Digital Trust.	Jean-Pierre Hubaux — C4DT
Orchestrated Artifact Evaluation	Automatically evaluating code artifacts from research papers	Mathias Payer — HexHive
Private Collection Matching Protocols	Framework to build privacy-preserving Private Collection Matching (PCM) systems	Carmela Troncoso — SPRING
SEAL - Combating Phishing	"[seal] program to study the problem of phishing and the technical, organizational and legal measures to respond."	Jean-Pierre Hubaux — C4DT
Machine Learning
SPINDLE	Scalable, privacy-preserving, distributed learning on distributed datasets	Jean-Pierre Hubaux — LDS
Disco	Decentralized Collaborative Machine Learning	Martin Jaggi — MLO	2024-04-03
Garfield	System support for byzantine machine learning	Rachid Guerraoui — DCL	2021-09-24
Entity Insertion in Wikipedia	Multilingual entity insertion in Wikipedia articles	Robert West — DLAB	2024-04-15
Transformers CFG	Grammar-constrained text generation with Transformers models	Robert West — DLAB	2024-04-13
aiFlows	Modular AI collaboration framework	Robert West — DLAB	2024-04-12
Meditron	Open-source medical language model for clinical decision support	Martin Jaggi — MLO	2024-04-10
Adversarial Classification aTtack	Classification-Guided Adversarial Attack against NMT	Pascal Frossard — LTS4	2024-02-22
Refiner	Reasoning framework with feedback on intermediate steps	Robert West — DLAB	2024-02-21
LLM Grounding Analysis	LLM grounding vs. factual recall	Robert West — DLAB	2024-02-19
LAMEN	Evaluating language models through negotiation tasks	Robert West — DLAB	2024-02-04
DyNCA	Real-Time Dynamic Texture Synthesis Using Neural Cellular Automata	Sabine Süsstrunk — IVRL	2024-01-29
meditron	Medical language model pretraining	Antoine Bosselut — NLP	2024-01-12
crow	Benchmarking Commonsense Reasoning in Real-World Tasks	Antoine Bosselut — NLP	2023-12-14
Megatron-LLM	Large language model training library	Martin Jaggi — MLO	2023-12-03
hdtorch	PyTorch-based hyperdimensional computing library	David Atienza — ESL	2023-10-18
Distributed Homomorphic Anomaly Detection	Proof-of-concept ML algorithms to do anomaly detection compatible with distributed, encrypted algorithms.	Martin Jaggi — MLO	2023-09-11
peacok	Persona Commonsense Knowledge for Consistent and Engaging Narratives	Antoine Bosselut — NLP	2023-09-01
distilled counterfactual data	Automated generation of high-quality counterfactual data.	Antoine Bosselut — NLP	2023-07-27
TempSAL	Uncovering Temporal Information for Deep Saliency Prediction	Sabine Süsstrunk — IVRL	2023-07-24
Mozuma	Library of ML standardised models	Karl Aberer — LSIR	2023-07-11
PowerSGD	Practical low-rank gradient compression for distributed optimization	Martin Jaggi — MLO	2023-07-04
TransFool	Adversarial attack against neural machine translation models	Pascal Frossard — LTS4	2023-06-23
SynthIE	Exploiting Asymmetry for Synthetic Training Data Generation	Robert West — DLAB	2023-05-27
CrowdBreaks	Track health trends using public social media data and crowdsourcing	Marcel Salathé — SalatheLab	2023-05-25
RelaySGD	Improved information propagation in decentralized learning	Martin Jaggi — MLO	2023-04-21
GenIE	Autoregressive information extraction system	Robert West — DLAB	2023-03-28
MLBench	Benchmarking of distributed ML	Martin Jaggi — MLO	2023-03-01
AIcrowd	Open platform for data science challenges	Marcel Salathé — SalatheLab	2022-12-26
Quasi-Global Momentum	Improved decentralized training with data heterogeneity	Martin Jaggi — MLO	2022-12-23
SciLens	Helper for science news evaluation	Karl Aberer — LSIR	2022-10-25
DiPPS	Differentially Private Propensity Scores for Bias Correction	Robert West — DLAB	2022-10-02
DSR	Drone Image Super-Resolution	Sabine Süsstrunk — IVRL	2022-09-15
WebGraph	Capturing Advertising and Tracking Information Flows for Robust Blocking	Carmela Troncoso — SPRING	2022-08-25
sent2vec	Numerical representations for short texts	Martin Jaggi — MLO	2022-08-03
PhantoMedicus	Medical Survey Generator	Martin Jaggi — MLO	2022-06-25
STORM+	Faster PyTorch optimizer	Volkan Cevher — LIONS	2022-05-14
Synthetic data privacy evaluation	Privacy evaluation framework for synthetic data publishing	Carmela Troncoso — SPRING	2022-05-13
PriCell	Privacy preserving neural network learning for diseased cell classification	Jean-Pierre Hubaux — LDS	2022-03-05
PAXlib	Augmentent PyTorch with some JAX	Martin Jaggi — MLO	2022-03-02
txcl	Reproducible Text Classification	Marcel Salathé — SalatheLab	2022-02-24
Mesh sampling	Generate point cloud based on mesh	Touradj Ebrahimi — MMSPG	2022-02-22
LELSD	Interactive GAN-based image editing	Sabine Süsstrunk — IVRL	2022-02-20
Byzantine-Robust NonIID optimizer	Byzantine-Robust Learning on Heterogeneous Datasets via Bucketing	Martin Jaggi — MLO	2022-02-02
Invariant Language Modeling	Invariant natural language modeling	Robert West — DLAB	2022-01-24
Choix	Library that provides inference algorithms for models based on Luce's choice axiom	Matthias Grossglauser — INDY	2022-01-11
FG-NIC	Noise-robust image classification	Sabine Süsstrunk — IVRL	2022-01-04
Point-cloud compressor	Learning-based compression of point cloud geometry and color	Touradj Ebrahimi — MMSPG	2022-01-04
PRIME	Boost robustness of images to common corruptions	Pascal Frossard — LTS4	2021-12-28
Hold me tight!	Influence of discriminative features on deep network boundaries in ML	Pascal Frossard — LTS4	2021-12-10
cola	Decentralized linear machine learning	Martin Jaggi — MLO	2021-11-29
ADER	Continual adaption of recommendation systems without forgetting	Boi Faltings — LIA	2021-10-27
DisparateVulnerability	Disparate Vulnerability to Membership Inference Attacks	Carmela Troncoso — SPRING	2021-10-20
Eigenthemes	Improved entity linking	Robert West — DLAB	2021-09-23
Quotebank	Corpus of quotations from a decade of news	Robert West — DLAB	2021-07-23
HyperAggregate	Sublinear aggregation algorithm	Martin Jaggi — MLO	2021-07-03
Byzantine Robust Optimizer	Improved federated learning with Byzantine robustness	Martin Jaggi — MLO	2021-06-11
Error Resilient Recurring Gallery Building	Correctly re-identify people in different images	Touradj Ebrahimi — MMSPG	2021-02-03
FeGAN	Scaling distributed Generative Adversarial Networks (GANs)	Rachid Guerraoui — DCL	2020-12-31
BUIFD	Deep learning image denoiser	Sabine Süsstrunk — IVRL	2020-11-24
Probabilistic Fault Tolerance of Neural Networks in the Continuous Limit	Regularizer for failing neurons	Rachid Guerraoui — DCL	2020-11-24
Neural Anisotropy Directions	Analyzing the role of the network architecture in shaping the inductive bias of deep classifiers.	Pascal Frossard — LTS4	2020-11-17
FLeet	Federated machine learning on Android	Rachid Guerraoui — DCL	2020-10-31
SparseFool	Geometry-inspired sparse attack on deep networks	Pascal Frossard — LTS4	2020-09-27
chocoSGD	Decentralized communication-efficient machine learning and deep learning	Martin Jaggi — MLO	2020-09-10
SecVM	Privacy-preserving classification	Robert West — DLAB	2020-08-17
Bayesian Differential Privacy	Data distribution-aware differential privacy	Boi Faltings — LIA	2020-08-12
PowerGossip	Practical low-rank communication compression in decentralized deep learning	Martin Jaggi — MLO	2020-08-04
OrthoNet	Multilayer network data clustering	Pascal Frossard — LTS4	2020-07-28
kickscore	Dynamic skill rating system	Matthias Grossglauser — INDY	2020-05-09
AggregaThor	Framework over TensorFlow implementing robust stochastic gradient descent	Rachid Guerraoui — DCL	2019-12-06
Zero-Learning Fast Medical Image Fusion	High-quality image fusion	Sabine Süsstrunk — IVRL	2019-05-10
DeepFool	Simple algorithm to find the minimum adversarial perturbations in deep networks	Pascal Frossard — LTS4	2018-09-07
ManiFool	Algorithm for evaluating the invariance properties of deep networks	Pascal Frossard — LTS4	2018-01-24
Universal	Universal adversarial perturbations	Pascal Frossard — LTS4	2017-10-23
AI-Driven Classifier Building Pipeline	Platform for speeding up the development of Artificial-Intelligence classifiers	Karl Aberer — LSIR
AI Research Aiding Online Children Safety	Platform for detecting specific risks and threats children are facing online	Karl Aberer — LSIR
Climpact	Estimate your perception of carbon footprint	Matthias Grossglauser — INDY
CommPass	News article similarity visualization tool	Karl Aberer — LSIR
Fine-tuning pitfalls	Hands-on workshop on LLM fine-tuning pitfalls	Volkan Cevher — LIONS
LB-CSMRI	Magnetic imaging resonance optimization	Volkan Cevher — LIONS
Media Observatory	News landscape monitoring	Karl Aberer — LSIR
Predikon	Predictions about votes in Switzerland	Matthias Grossglauser — INDY
Upgrading the Newsroom	Automated image selection system for news articles	Karl Aberer — LSIR
Who is that?	Machine Learning framework to search a database via similarity samples	Matthias Grossglauser — INDY
Other
Scala 3	Scala 3 release updates and new features	Martin Odersky — LAMP	2024-04-12
Scala Native	Generate native code from Scala	Martin Odersky — LAMP	2024-04-12
Scala.js	Use Scala to develop Web frontends	Martin Odersky — LAMP	2024-04-06
Dynamatic	High-level synthesis compiler	Paolo Ienne — LAP	2024-03-21
JumboTrace	Java program tracer to record execution state	Clément Pit-Claudel — SystemF	2024-01-05
NrOS	OS kernel with safer approach to synchronization	Sanidhya Kashyap — RS3LAB	2023-12-02
QFlex	State-of-the-art modeling tools for the computer architecture community	Babak Falsafi — PARSA	2023-11-30
CloudSuite	Benchmark suite for cloud services	Babak Falsafi — PARSA	2023-06-25
ColTraIn HBFP Training Emulator	Co-located deep neural network training and inference	Babak Falsafi — PARSA	2023-02-16
matchertext	Matchertext is a syntactic discipline that allows strings in one compliant language to be embedded verbatim without escaping (e.g., via cut-and-paste) into itself or another compliant language.	Bryan Ford — DEDIS	2022-11-08
EPFL Combinational Benchmark Suite	Benchmarks for logical gates optimizer	Giovanni De Micheli — LSI	2022-10-11
Scallion	A library for writing parsers and pretty printers for LL(1) languages in Scala.	Viktor Kunčak — LARA	2022-10-03
AdMiRe EPFL	EPFL's contribution to the AdMiRe project: the Background Extraction and Super Resolution modules, with input and output as NDI streams.	Touradj Ebrahimi — MMSPG	2022-08-26
Hydra	Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework	Sanidhya Kashyap — RS3LAB	2022-08-08
SynCord	Application-Informed Kernel Synchronization Primitives	Sanidhya Kashyap — RS3LAB	2022-07-01
3D-ICE	Thermal simulator for stacked integrated circuits	David Atienza — ESL	2022-06-20
EPFL Logic Synthesis Libraries	Collection of modular libraries for the development of logic synthesis applications	Giovanni De Micheli — LSI	2022-06-08
uKharon	Membership service for microsecond applications	Rachid Guerraoui — DCL	2022-05-24
Odinfs	Scaling PM Performance with Opportunistic Delegation	Sanidhya Kashyap — RS3LAB	2022-05-16
PACTree	Efficient Non-Volatile Memory (NVM) access	Sanidhya Kashyap — RS3LAB	2021-11-08
CLHT	Very fast and scalable, resizable hash table	Rachid Guerraoui — DCL	2021-10-04
CRAB	L4 load balancer for cloud provider	Edouard Bugnion — DCSL	2021-09-10
Learned Residual PCC	Learning residual coding for point clouds	Touradj Ebrahimi — MMSPG	2021-09-01
gem5-X	gem5-based simulator with architectural extensions	David Atienza — ESL	2021-08-03
Point cloud web renderer	Show point cloud files using three.js	Touradj Ebrahimi — MMSPG	2021-05-11
QualityCrowd	Crowdsourcing image quality assessment	Touradj Ebrahimi — MMSPG	2021-02-23
Memoro	Highly detailed heap profiler	James Larus — VLSC	2021-01-14
The Open Food Repo	Database of barcoded food products	Marcel Salathé — SalatheLab	2020-08-24
ADEFAN	Fast and energy-efficient video encoder and decoder	Sabine Süsstrunk — IVRL	2020-04-15
HovercRaft	Improved scalable and fault-tolerant distributed architecture	Edouard Bugnion — DCSL	2020-03-29
CirKit	Logic synthesis and optimization framework	Giovanni De Micheli — LSI	2020-02-23
DynaBurst	Group DRAM bursts	Paolo Ienne — LAP	2019-09-06
Quick ADC	Fast distance computation for searches in large databases	Anne-Marie Kermarrec — SACS	2019-05-31
ProteusTM	Automatic transactional memory adaptation	Anne-Marie Kermarrec — SACS	2016-03-19
Food & You	Track your individual response to food and help advance science	Marcel Salathé — SalatheLab
DECOPT	Decomposition Convex Optimization	Volkan Cevher — LIONS
Image Completion	Complete an image whose 99% pixels are randomly missing	Sabine Süsstrunk — IVRL
SLICO Superpixels	Efficient Superpixels	Sabine Süsstrunk — IVRL

Showing 1 to 278 of 278 entries

Actively C4DT supported projects Previously C4DT supported projects Lab supported projects