EDIC Published theses Search all IC School publications 2025Theses Logic Synthesis and Optimization for CMOS and Post-CMOS TechnologiesD. S. Marakkalage / G. De Micheli (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 Beyond the ratchet: practical challenges in secure messagingS. Colombo / B. A. Ford (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 How to Make Measure Theory Completely PointlessP. Quinton / E. Telatar (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 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 Sequential Reasoning with Socially Caused BeliefsM. Kayaalp / A. H. Sayed (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 Data Heterogeneity in Linear Distributed Estimation and LearningA. Pradeep / M. C. Gastpar (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 Improving Human Pose & Shape Estimation with Explicit and Implicit PriorsA. Davydov / P. Fua; M. Salzmann (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 The Tight Cost of Byzantine AgreementM. J. Ribeiro Vidigueira / R. Guerraoui (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 Optimal Byzantine Agreement with Little CryptographyJ. Komatovic / R. Guerraoui (Dir.) Lausanne, EPFL, 2025. Detailed record View at publisher 2024Theses Extending Capabilities of Attention-based ModelsA. Pannatier / P. Frossard; F. Fleuret (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 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 Efficient Operational Analytics on Fresh DataA. Raza / A. Ailamaki (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 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 Contemporary Logic Synthesis: with an Application to AQFP Circuit OptimizationS-Y. Lee / G. De Micheli (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 Content Moderation in Online PlatformsM. Horta Ribeiro / R. West (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 Modeling and Enhancing Human Knowledge NavigationA. Arora / R. West (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 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 Towards Language Learning From Passive Exposures To In-Context ExamplesL. H. Klein / R. West (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 Extensions of Peer Prediction Incentive MechanismsA. J. Richardson / B. Faltings (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 Localizing Traffic Differentiation Practices on the InternetZ. Shmeis / K. Argyraki (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 Spectral Estimators for High-Dimensional Matrix InferenceF. Pourkamali / N. Macris (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 Visual Saliency Prediction for Natural Images, Comics Panels, and Comics PagesB. Aydemir / S. Süsstrunk (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 On the fundamental limits of privacy-enhancing technologiesT. Stadler / C. Troncoso (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 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 Formal Foundations of Capture TrackingA. S. Boruch-Gruszecki / M. Odersky (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 Understanding generalization and robustness in modern deep learningM. Andriushchenko / N. H. B. Flammarion (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 Optimization Algorithms for Decentralized, Distributed and Collaborative Machine LearningA. Koloskova / M. Jaggi; S. U. Stich (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 Planetary-Scale Byzantine Fault ToleranceM. Monti / R. Guerraoui (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 On Speed and Advantage : Results in Information Velocity and Monitoring ProblemsR. Inovan / E. Telatar (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 Highly Parallel RTL SimulationS. Emami / E. Bugnion; J. R. Larus (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 Incorporating Projective Geometry into Deep LearningM. J. Tyszkiewicz / P. Fua (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 Secure Interface Design Leveraging Hardware/Software SupportA. Bhattacharyya / M. J. Payer; B. Falsafi (Dir.) Lausanne, EPFL, 2024. Detailed record View at publisher 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 2023Theses Green Cryptography and Other OptimisationsA. F. Caforio / S. Vaudenay (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Transformer Models for VisionJ-B. F. M. J. Cordonnier / M. Jaggi (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Detecting Anomalies and Obstacles in Road ScenesK. M. Lis / P. Fua; M. Salzmann (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Towards Novel Evaluation Methods for Social Dialog SystemsE. Svikhnushina / P. Pu Faltings (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Interactive-time Exploration, Querying, and Analysis of Large High-dimensional DatasetsS. Basil John / C. Koch (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Multi-agent Learning with Privacy GuaranteesE. Rizk / A. H. Sayed (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based SimulationsZ. Tian / C. Koch (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Building Strongly-Consistent Systems Resilient to Failures, Partitions, and SlowdownsC. Basescu / B. A. Ford (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 Efficient Concurrent Analytical Query Processing using Data and Workload-conscious SharingP. Sioulas / A. Ailamaki (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Rebooting Virtual Memory with MidgardS. Gupta / B. Falsafi; A. Bhattacharjee (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Acceleration of graph pattern mining and applications to financial crimeJ. Blanusa / P. Ienne; K. Atasu (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Reliable Microsecond-Scale Distributed ComputingA. Xygkis / R. Guerraoui (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 Stochastic Models for Comparison-based SearchD. Chumbalov / M. Grossglauser (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Supervised learning and inference of spiking neural networks with temporal codingA. Stanojevic / W. Gerstner; S. A. Wozniak (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Approximation Algorithms for Allocation and Network DesignE. M. F. Bamas / O. N. A. Svensson (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Automating the Design of Programmable Interconnect for Reconfigurable ArchitecturesS. Nikolic / P. Ienne (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 Squall: Scalable Real-time Analytics using Efficient, Skew-resilient Join OperatorsA. Vitorović / C. Koch (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Thwarting Malicious Adversaries in Homomorphic Encryption PipelinesS. Chatel / C. González Troncoso; J-P. Hubaux (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher A Network Calculus Analysis of Asynchronous Mechanisms in Time-Sensitive NetworksE. Mohammadpour / J-Y. Le Boudec (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher How Words Move Hearts: Interpretable Machine Learning Models of Bias, Engagement, and Influence in Socio-Political SystemsA. Suresh / M. Grossglauser (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Bridging the gap between theoretical and practical privacy technologies for at-risk populationsK. Edalatnejadkhamene / C. González Troncoso (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher A Theory of Finite-Width Neural Networks: Generalization, Scaling Laws, and the Loss LandscapeB. Simsek / C. Hongler; W. Gerstner (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Beyond worst-case analysis, with or without predictionsA. Maggiori / R. Urbanke; O. N. A. Svensson (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Deep Learning for 3D Surface Modelling and ReconstructionB. A. R. Guillard / P. Fua (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Type-Preserving Compilation of Class-Based LanguagesG. A. F. Martres / M. Odersky (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Privacy-preserving federated neural network training and inferenceS. Sav / C. González Troncoso; J-P. Hubaux (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Automated Human Motion Analysis and SynthesisS. Kiciroglu / P. Fua; M. Salzmann (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Topologically Better Delineation of Curvilinear StructuresD. Oner / P. Fua (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Fairness and Explainability in Clustering ProblemsX. Jia / O. N. A. Svensson (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Robust Training and Verification of Deep Neural NetworksF. R. Latorre Gomez / V. Cevher (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Empathetic Conversational Agents for Distress SupportK. A. Welivita / P. Pu Faltings (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL SimulationS. Kashani / J. R. Larus (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Scalable Metaprogramming in Scala 3N. A. Stucki / M. Odersky (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Modeling Structured Data in Attention-based ModelsA. Mohammadshahi / K. Aberer; J. Henderson (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Distributed Optimization with Byzantine Robustness GuaranteesL. He / M. Jaggi (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Hardware-Software Co-design for Improved Resource Utilization in DNN AcceleratorsA. C. Yüzügüler / P. Frossard (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher
