EDIC Published theses Search all IC School publications 2025Theses The Tight Cost of Byzantine AgreementM. J. Ribeiro Vidigueira / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher How to Make Measure Theory Completely PointlessP. Quinton / E. Telatar (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Responsibly Building Multilingual Language Models for Hundreds of LanguagesN. Foroutan Eghlidi / K. Aberer; A. Bosselut (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Improved Gradients for Inverse RenderingB. Nicolet / W. Jakob (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Texture Synthesis using Neural Cellular AutomataE. Pajouheshgar / S. Süsstrunk (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Image-based Pose Estimation for Previously-Unseen ObjectsC. Zhao / M. Salzmann; P. Fua (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher On the identifiability and estimation of causal effectsY. Kivva / N. Kiyavash (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Methodological Advances in Causal Inference: Experimentation, Identification and EstimationS. Akbari / N. Kiyavash (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Personalizing Learning and Empowering Educators through Multi-Dimensional Clustering, Teacher Dashboards, and AI-Hybrid Learning SystemsP. Mejia-Domenzain / T. C. Käser Jacober (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Generalised Modeling of Inquiry Behaviour: From Learning to UnderstandingJ. M. L. Cock / T. C. Käser Jacober (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Votegral: Towards Usable, End-to-End Verifiable, Coercion-Resistant Online VotingL-H. M. J. Merino / B. A. Ford (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Noisy Quantum Communication and ComputationD. K. S. Abdelhadi / R. Urbanke; J. Renes (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Robust, Generalizable, and Reproducible Computational Imaging: A Lensless PerspectiveE. Bezzam / M. Vetterli (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Data Heterogeneity in Linear Distributed Estimation and LearningA. Pradeep / M. C. Gastpar (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Causal Discovery and Causal Effect IdentificationE. Mokhtarian / N. Kiyavash (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Exploration of Commonsense CausalityS. Cui / B. Faltings; A. Bosselut (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Enhancing the Receiver-Driven Transport Paradigm with Sender Congestion InformationK. Prasopoulos / E. Bugnion; E. M. Kogias (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Towards Visually-Plausible and Controllable 3D RepresentationsD. Wang / S. Süsstrunk (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Scaling the Modalities in Multimodal Foundation ModelsO. F. Kar / A. Roshan Zamir (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Robust and Efficient Collaborative LearningS. Farhadkhani / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Transparent Multicore Scaling of Single-Threaded Network Functions with Performance ClarityL. Yan / G. Candea (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Robust and High-Performance Wide-Area Consensus ProtocolsP. N. Tennage / B. A. Ford; E. Kokoris Kogias (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Parameter-efficient Methods for Training and Inference of Transformer-based ModelsM. Banaei / K. Aberer (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Sequential Reasoning with Socially Caused BeliefsM. Kayaalp / A. H. Sayed (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Nonconvex optimization: nonisolated minimizers and benign landscapesQ. Rebjock / N. Boumal (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Learning to Reason with Neural Networks: Principles and MethodsA. Lotfi Jandaghi / E. Abbé (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Securing low-level code with minimal developer efforts: from preventing type confusion by design to automated library fuzzingN. D. Badoux / M. J. Payer (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher The Power of Decision Trees for Composition and Search ProblemsG. T. Maystre / M. Göös (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher The Cost of Trust in Machine Learning: Privacy, Robustness, Unlearning, and their InteractionsY. Allouah / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Visual Correspondence : From Geometry, Appearance, to Reasoning Across Vision TasksY. Ren / S. Süsstrunk (Dir.) Lausanne, École Polytechnique Fédérale de Lausanne, 2025. Detailed record View at publisher Uncertainty in Modern Deep LearningN. Durasov / P. Fua (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Robust and Personalized Federated Learning: Handling Data Corruption and HeterogeneityL. Rokvic / B. Faltings (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Privacy and Robustness in Federated Learning: From Theoretical Insights to Practical ImplementationJ. Stephan / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Scalable Methods for Knowledge Graph Reasoning and GenerationA. Janchevski / V. Cevher (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Computational Design of Deployable Gridshells with Curved Elastic BeamsQ. Becker / M. Pauly (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Beyond the ratchet: practical challenges in secure messagingS. Colombo / B. A. Ford (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Computational Imaging: a Multi-Facet PerspectiveS. Kashani / M. Vetterli; P. Hurley (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Improving Human Pose & Shape Estimation with Explicit and Implicit PriorsA. Davydov / P. Fua; M. Salzmann (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Theoretical characterization of uncertainty in high-dimensional machine learningL. A. Clarte / L. Zdeborová (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Logic Synthesis and Optimization for CMOS and Post-CMOS TechnologiesD. S. Marakkalage / G. De Micheli (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher On Adversarial Robustness and its Practical ApplicationsK. Kireev / C. González Troncoso (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Optimal Byzantine Agreement with Little CryptographyJ. Komatovic / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Structure and Computation in Disordered Systems and Neural NetworksF. Behrens / L. Zdeborová (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Deployable, Modular, and Reconfigurable: Computational Design of Umbrella MeshesU. Kusupati / M. Pauly (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Neural Garment ModelingR. Li / P. Fua (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Collaborative AI Agents in the Era of Large Language ModelsM. Josifoski / R. West (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Graph sparsification, sketching and adaptivityM. Makarov / M. Kapralov (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Enhanced Architectures and Optimization Methods for Efficient Language ModelingA. Mohtashami / M. Jaggi (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Automated Induction for Proving Program EquivalenceD. Milovancevic / V. Kuncak (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher Cryptography Under Counter-Intuitive SettingsA. Talayhan / S. Vaudenay (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher A Human-Centric Approach to Explainable AI for Personalized EducationV. Swamy / T. C. Käser Jacober; M. Jaggi (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher 2024Theses Discovering meaningful units from text sequencesM. Behjati / A. Alahi; J. Henderson (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Quantum Protocols for ML, Physics, and FinanceG. A. Gluch / M. Kapralov; R. Urbanke (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Extensions of Peer Prediction Incentive MechanismsA. J. Richardson / B. Faltings (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Incorporating Projective Geometry into Deep LearningM. J. Tyszkiewicz / P. Fua (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Technology Mapping and Optimization Algorithms for Logic Synthesis of Advanced TechnologiesA. Tempia Calvino / G. De Micheli (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Self-indexing Algorithms for Graph Representations of Genomic ReferencesÜ. Öztürk / M. Mattavelli (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Planetary-Scale Byzantine Fault ToleranceM. Monti / R. Guerraoui (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Extending Capabilities of Attention-based ModelsA. Pannatier / P. Frossard; F. Fleuret (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Privacy and Confidentiality in Machine Learning and Data Analysis: Understanding Risks and Developing ProtectionsV. Hartmann / R. West (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Fast and Future: Towards Efficient Forecasting in Video Semantic SegmentationE. P. G. Courdier / F. Fleuret; A. Roshan Zamir (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Efficient Approximate Analytics via Adaptive Context-Conscious Query ProcessingV. Sanca / A. Ailamaki (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Secure Interface Design Leveraging Hardware/Software SupportA. Bhattacharyya / M. J. Payer; B. Falsafi (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher To Infinity, and Beyond (Coverage)A. Hazimeh / M. J. Payer (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Towards Language Learning From Passive Exposures To In-Context ExamplesL. H. Klein / R. West (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Random matrix methods for high-dimensional machine learning modelsA. P. M. Bodin / N. Macris (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Localizing Traffic Differentiation Practices on the InternetZ. Shmeis / K. Argyraki (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Content Moderation in Online PlatformsM. Horta Ribeiro / R. West (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Contemporary Logic Synthesis: with an Application to AQFP Circuit OptimizationS-Y. Lee / G. De Micheli (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Automated Formal Verification of Software Network FunctionsS. V. Pirelli / G. Candea (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Secure and Efficient Cryptographic Algorithms in a Quantum WorldL. E. Huguenin-Dumittan / S. Vaudenay (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Modeling and Enhancing Human Knowledge NavigationA. Arora / R. West (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Robustness of gossip-based protocolsA. Kucherenko / A-M. Kermarrec; R. Guerraoui (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signaturesA. Genet / S. Vaudenay; A. Lenstra (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Safe Deep Neural NetworksK. M. Matoba / P. Vandergheynst; F. Fleuret (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher On the Theory and Practice of Modern Secure MessagingD. P. Collins / S. Vaudenay (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Understanding generalization and robustness in modern deep learningM. Andriushchenko / N. H. B. Flammarion (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Formal Foundations of Capture TrackingA. S. Boruch-Gruszecki / M. Odersky (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Aggregating Spatial and Photometric Context for Photometric StereoD. Honzátko / P. Fua; E. Türetken (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Understanding and Enhancing Digital Wellbeing Dimensions: Empirical Studies on Smartphone Usage Patterns and Recommendations of Micro-Informative ContentR. Islambouli / D. Gillet; S. Ingram (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Post-Quantum Code-Based CryptographyB. M. D. Tran / S. Vaudenay (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher On Speed and Advantage : Results in Information Velocity and Monitoring ProblemsR. Inovan / E. Telatar (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Efficient Operational Analytics on Fresh DataA. Raza / A. Ailamaki (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Scalable constrained optimizationM-L. Vladarean / N. H. B. Flammarion (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Computational Inverse Design of Shape Morphing StructuresY. Ren / M. Pauly; F. J. Panetta (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Electrical-Level Fault-Injection Attacks on FPGA-Based SystemsD. G. A. S. Mahmoud / B. Falsafi; M. Stojilovic (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Fair real-time control of energy storage systems in active distribution networks in the presence of uncertaintiesP. Grammatikos / M. Paolone; J-Y. Le Boudec (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Optimization Algorithms for Decentralized, Distributed and Collaborative Machine LearningA. Koloskova / M. Jaggi; S. U. Stich (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher On the fundamental limits of privacy-enhancing technologiesT. Stadler / C. Troncoso (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Deep Learning Theory Through the Lens of Diagonal Linear NetworksS. W. Pesme / N. H. B. Flammarion (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Spectral Estimators for High-Dimensional Matrix InferenceF. Pourkamali / N. Macris (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brainA. Modirshanechi / W. Gerstner (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Visual Saliency Prediction for Natural Images, Comics Panels, and Comics PagesB. Aydemir / S. Süsstrunk (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Highly Parallel RTL SimulationS. Emami / E. Bugnion; J. R. Larus (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher Towards General-Purpose Decentralized Computing with Permissionless ExtensibilityE. C. Alp / B. A. Ford (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher 2023Theses Challenging the Assumptions: Rethinking Privacy, Bias, and Security in Machine LearningB. Kulynych / C. González Troncoso (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Universal and adaptive methods for robust stochastic optimizationA. Kavis / V. Cevher (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Multiparty Homomorphic Encryption: from Theory to PracticeC. V. Mouchet / C. González Troncoso; J-P. Hubaux (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Augmented Lagrangian Methods for Provable and Scalable Machine LearningM. F. Sahin / V. Cevher (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Decision Procedures for Power StructuresR. Raya / V. Kuncak (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher
