EDIC Published theses

2024

Theses

Extending Capabilities of Attention-based Models

A. Pannatier / P. Frossard; F. Fleuret (Dir.)  

Lausanne, EPFL, 2024. 

Post-Quantum Code-Based Cryptography

B. M. D. Tran / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2024. 

Efficient Operational Analytics on Fresh Data

A. Raza / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2024. 

Electrical-Level Fault-Injection Attacks on FPGA-Based Systems

D. G. A. S. Mahmoud / B. Falsafi; M. Stojilovic (Dir.)  

Lausanne, EPFL, 2024. 

Automated Formal Verification of Software Network Functions

S. V. Pirelli / G. Candea (Dir.)  

Lausanne, EPFL, 2024. 

Towards General-Purpose Decentralized Computing with Permissionless Extensibility

E. C. Alp / B. A. Ford (Dir.)  

Lausanne, EPFL, 2024. 

Content Moderation in Online Platforms

M. Horta Ribeiro / R. West (Dir.)  

Lausanne, EPFL, 2024. 

Safe Deep Neural Networks

K. M. Matoba / P. Vandergheynst; F. Fleuret (Dir.)  

Lausanne, EPFL, 2024. 

Side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures

A. Genet / S. Vaudenay; A. Lenstra (Dir.)  

Lausanne, EPFL, 2024. 

On the Theory and Practice of Modern Secure Messaging

D. P. Collins / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2024. 

Secure and Efficient Cryptographic Algorithms in a Quantum World

L. E. Huguenin-Dumittan / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2024. 

Fair real-time control of energy storage systems in active distribution networks in the presence of uncertainties

P. Grammatikos / M. Paolone; J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2024. 

Technology Mapping and Optimization Algorithms for Logic Synthesis of Advanced Technologies

A. Tempia Calvino / G. De Micheli (Dir.)  

Lausanne, EPFL, 2024. 

Computational Inverse Design of Shape Morphing Structures

Y. Ren / M. Pauly; F. J. Panetta (Dir.)  

Lausanne, EPFL, 2024. 

Visual Saliency Prediction for Natural Images, Comics Panels, and Comics Pages

B. Aydemir / S. Süsstrunk (Dir.)  

Lausanne, EPFL, 2024. 

Modeling and Enhancing Human Knowledge Navigation

A. Arora / R. West (Dir.)  

Lausanne, EPFL, 2024. 

Formal Foundations of Capture Tracking

A. S. Boruch-Gruszecki / M. Odersky (Dir.)  

Lausanne, EPFL, 2024. 

Aggregating Spatial and Photometric Context for Photometric Stereo

D. Honzátko / P. Fua; E. Türetken (Dir.)  

Lausanne, EPFL, 2024. 

Incorporating Projective Geometry into Deep Learning

M. J. Tyszkiewicz / P. Fua (Dir.)  

Lausanne, EPFL, 2024. 

Fast and Future: Towards Efficient Forecasting in Video Semantic Segmentation

E. P. G. Courdier / F. Fleuret; A. Roshan Zamir (Dir.)  

Lausanne, EPFL, 2024. 

Extensions of Peer Prediction Incentive Mechanisms

A. J. Richardson / B. Faltings (Dir.)  

Lausanne, EPFL, 2024. 

On Speed and Advantage : Results in Information Velocity and Monitoring Problems

R. Inovan / E. Telatar (Dir.)  

Lausanne, EPFL, 2024. 

Deep Learning Theory Through the Lens of Diagonal Linear Networks

S. W. Pesme / N. H. B. Flammarion (Dir.)  

Lausanne, EPFL, 2024. 

Scalable constrained optimization

M-L. Vladarean / N. H. B. Flammarion (Dir.)  

Lausanne, EPFL, 2024. 

Planetary-Scale Byzantine Fault Tolerance

M. Monti / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2024. 

Spectral Estimators for High-Dimensional Matrix Inference

F. Pourkamali / N. Macris (Dir.)  

Lausanne, EPFL, 2024. 

Random matrix methods for high-dimensional machine learning models

A. P. M. Bodin / N. Macris (Dir.)  

Lausanne, EPFL, 2024. 

Highly Parallel RTL Simulation

S. Emami / E. Bugnion; J. R. Larus (Dir.)  

Lausanne, EPFL, 2024. 

Efficient Approximate Analytics via Adaptive Context-Conscious Query Processing

V. Sanca / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2024. 

Localizing Traffic Differentiation Practices on the Internet

Z. Shmeis / K. Argyraki (Dir.)  

Lausanne, EPFL, 2024. 

Privacy and Confidentiality in Machine Learning and Data Analysis: Understanding Risks and Developing Protections

V. Hartmann / R. West (Dir.)  

Lausanne, EPFL, 2024. 

Understanding and Enhancing Digital Wellbeing Dimensions: Empirical Studies on Smartphone Usage Patterns and Recommendations of Micro-Informative Content

R. Islambouli / D. Gillet; S. Ingram (Dir.)  

Lausanne, EPFL, 2024. 

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

A. Modirshanechi / W. Gerstner (Dir.)  

Lausanne, EPFL, 2024. 

Discovering meaningful units from text sequences

M. Behjati / A. Alahi; J. Henderson (Dir.)  

Lausanne, EPFL, 2024. 

Towards Language Learning From Passive Exposures To In-Context Examples

L. H. Klein / R. West (Dir.)  

Lausanne, EPFL, 2024. 

Contemporary Logic Synthesis: with an Application to AQFP Circuit Optimization

S-Y. Lee / G. De Micheli (Dir.)  

Lausanne, EPFL, 2024. 

Robustness of gossip-based protocols

A. Kucherenko / A-M. Kermarrec; R. Guerraoui (Dir.)  

Lausanne, EPFL, 2024. 

Secure Interface Design Leveraging Hardware/Software Support

A. Bhattacharyya / M. J. Payer; B. Falsafi (Dir.)  

Lausanne, EPFL, 2024. 

To Infinity, and Beyond (Coverage)

A. Hazimeh / M. J. Payer (Dir.)  

Lausanne, EPFL, 2024. 

On the fundamental limits of privacy-enhancing technologies

T. Stadler / C. Troncoso (Dir.)  

Lausanne, EPFL, 2024. 

Quantum Protocols for ML, Physics, and Finance

G. A. Gluch / M. Kapralov; R. Urbanke (Dir.)  

Lausanne, EPFL, 2024. 

Optimization Algorithms for Decentralized, Distributed and Collaborative Machine Learning

A. Koloskova / M. Jaggi; S. U. Stich (Dir.)  

Lausanne, EPFL, 2024. 

Self-indexing Algorithms for Graph Representations of Genomic References

Ü. Öztürk / M. Mattavelli (Dir.)  

Lausanne, EPFL, 2024. 

Understanding generalization and robustness in modern deep learning

M. Andriushchenko / N. H. B. Flammarion (Dir.)  

Lausanne, EPFL, 2024. 

2023

Theses

Transformer Models for Vision

J-B. F. M. J. Cordonnier / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Communication-efficient distributed training of machine learning models

T. Vogels / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Distributed Optimization with Byzantine Robustness Guarantees

L. He / M. Jaggi (Dir.)  

Lausanne, EPFL, 2023. 

Efficient Concurrent Analytical Query Processing using Data and Workload-conscious Sharing

P. Sioulas / A. Ailamaki (Dir.)  

Lausanne, EPFL, 2023. 

Bridging the gap between theoretical and practical privacy technologies for at-risk populations

K. Edalatnejadkhamene / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2023. 

Green Cryptography and Other Optimisations

A. F. Caforio / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2023. 

Building Strongly-Consistent Systems Resilient to Failures, Partitions, and Slowdowns

C. Basescu / B. A. Ford (Dir.)  

Lausanne, EPFL, 2023. 

Acceleration of graph pattern mining and applications to financial crime

J. Blanusa / P. Ienne; K. Atasu (Dir.)  

Lausanne, EPFL, 2023. 

Security in the Presence of Quantum Adversaries

K. Barooti / S. Vaudenay (Dir.)  

Lausanne, EPFL, 2023. 

Scalable Metaprogramming in Scala 3

N. A. Stucki / M. Odersky (Dir.)  

Lausanne, EPFL, 2023. 

Towards Novel Evaluation Methods for Social Dialog Systems

E. Svikhnushina / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2023. 

Deep Learning for 3D Surface Modelling and Reconstruction

B. A. R. Guillard / P. Fua (Dir.)  

Lausanne, EPFL, 2023. 

Topologically Better Delineation of Curvilinear Structures

D. Oner / P. Fua (Dir.)  

Lausanne, EPFL, 2023. 

A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive Networks

E. Mohammadpour / J-Y. Le Boudec (Dir.)  

Lausanne, EPFL, 2023. 

Empathetic Conversational Agents for Distress Support

K. A. Welivita / P. Pu Faltings (Dir.)  

Lausanne, EPFL, 2023. 

Supervised learning and inference of spiking neural networks with temporal coding

A. Stanojevic / W. Gerstner; S. A. Wozniak (Dir.)  

Lausanne, EPFL, 2023. 

Decision Procedures for Power Structures

R. Raya / V. Kuncak (Dir.)  

Lausanne, EPFL, 2023. 

Squall: Scalable Real-time Analytics using Efficient, Skew-resilient Join Operators

A. Vitorović / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Z. Tian / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

Rebooting Virtual Memory with Midgard

S. Gupta / B. Falsafi; A. Bhattacharjee (Dir.)  

Lausanne, EPFL, 2023. 

Interactive-time Exploration, Querying, and Analysis of Large High-dimensional Datasets

S. Basil John / C. Koch (Dir.)  

Lausanne, EPFL, 2023. 

Stochastic Models for Comparison-based Search

D. Chumbalov / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2023. 

How Words Move Hearts: Interpretable Machine Learning Models of Bias, Engagement, and Influence in Socio-Political Systems

A. Suresh / M. Grossglauser (Dir.)  

Lausanne, EPFL, 2023. 

Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAs

O. Glamocanin / B. Falsafi; M. Stojilovic (Dir.)  

Lausanne, EPFL, 2023. 

Time vs. Truth: Age-Distortion Tradeoffs and Strategies for Distributed Inference

Y. Inan / E. Telatar (Dir.)  

Lausanne, EPFL, 2023. 

Worst-Case Delay Analysis of Time-Sensitive Networks with Network Calculus

S. M. Tabatabaee / J-Y. Le Boudec; P. Thiran (Dir.)  

Lausanne, EPFL, 2023. 

Deep Learning Generalization with Limited and Noisy Labels

M. Forouzesh / P. Thiran (Dir.)  

Lausanne, EPFL, 2023. 

Reliable Microsecond-Scale Distributed Computing

A. Xygkis / R. Guerraoui (Dir.)  

Lausanne, EPFL, 2023. 

Hardware-Software Co-design for Improved Resource Utilization in DNN Accelerators

A. C. Yüzügüler / P. Frossard (Dir.)  

Lausanne, EPFL, 2023. 

Privacy-preserving federated neural network training and inference

S. Sav / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Latency Interfaces for Systems Code

R. R. Iyer / G. Candea; A. Argyraki (Dir.)  

Lausanne, EPFL, 2023. 

Making Computer Vision Models Robust and Adaptive

S. T. Yeo / A. Roshan Zamir; P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2023. 

Computational Models of Mutual Understanding for Human-Robot Collaborative Learning

U. Norman / P. Dillenbourg (Dir.)  

Lausanne, EPFL, 2023. 

Fairness and Explainability in Clustering Problems

X. Jia / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Beyond worst-case analysis, with or without predictions

A. Maggiori / R. Urbanke; O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Approximation Algorithms for Allocation and Network Design

E. M. F. Bamas / O. N. A. Svensson (Dir.)  

Lausanne, EPFL, 2023. 

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

S. Kashani / J. R. Larus (Dir.)  

Lausanne, EPFL, 2023. 

A Theory of Finite-Width Neural Networks: Generalization, Scaling Laws, and the Loss Landscape

B. Simsek / C. Hongler; W. Gerstner (Dir.)  

Lausanne, EPFL, 2023. 

Modeling Structured Data in Attention-based Models

A. Mohammadshahi / K. Aberer; J. Henderson (Dir.)  

Lausanne, EPFL, 2023. 

Detecting Anomalies and Obstacles in Road Scenes

K. M. Lis / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Dense Image-based Predictions for Comics Analysis

D. Bhattacharjee / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Improving Object Detection under Domain Shifts

Vidit / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Automated Human Motion Analysis and Synthesis

S. Kiciroglu / P. Fua; M. Salzmann (Dir.)  

Lausanne, EPFL, 2023. 

Robust Training and Verification of Deep Neural Networks

F. R. Latorre Gomez / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Improving Generalization of Pretrained Language Models

R. Karimi Mahabadi / V. Cevher; J. Henderson (Dir.)  

Lausanne, EPFL, 2023. 

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

M. F. Sahin / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Universal and adaptive methods for robust stochastic optimization

A. Kavis / V. Cevher (Dir.)  

Lausanne, EPFL, 2023. 

Type-Preserving Compilation of Class-Based Languages

G. A. F. Martres / M. Odersky (Dir.)  

Lausanne, EPFL, 2023. 

Challenging the Assumptions: Rethinking Privacy, Bias, and Security in Machine Learning

B. Kulynych / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2023. 

Multiparty Homomorphic Encryption: from Theory to Practice

C. V. Mouchet / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines

S. Chatel / C. González Troncoso; J-P. Hubaux (Dir.)  

Lausanne, EPFL, 2023. 

Multi-agent Learning with Privacy Guarantees

E. Rizk / A. H. Sayed (Dir.)  

Lausanne, EPFL, 2023. 

Automating the Design of Programmable Interconnect for Reconfigurable Architectures

S. Nikolic / P. Ienne (Dir.)  

Lausanne, EPFL, 2023. 

2022

Theses

Computational Approaches for Studying Dietary Behaviors with Digital Traces

K. Gligoric / R. West (Dir.)  

Lausanne, EPFL, 2022. 

How We Use Wikipedia: Studying Readers’ Behavior with Navigation Traces

T. Piccardi / R. West (Dir.)  

Lausanne, EPFL, 2022. 

Protecting privacy through metadata analysis

S. D. Siby / C. González Troncoso (Dir.)  

Lausanne, EPFL, 2022.