EDIC Published theses Search all IC School publications 2024Theses Post-Quantum Code-Based CryptographyB. M. D. Tran / S. Vaudenay (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 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 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 Highly Parallel RTL SimulationS. Emami / E. Bugnion; J. R. Larus (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 Visual Saliency Prediction for Natural Images, Comics Panels, and Comics PagesB. Aydemir / S. Süsstrunk (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 and Efficient Cryptographic Algorithms in a Quantum WorldL. E. Huguenin-Dumittan / S. Vaudenay (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 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 Planetary-Scale Byzantine Fault ToleranceM. Monti / R. Guerraoui (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 Formal Foundations of Capture TrackingA. S. Boruch-Gruszecki / M. Odersky (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 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 On Speed and Advantage : Results in Information Velocity and Monitoring ProblemsR. Inovan / E. Telatar (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 Content Moderation in Online PlatformsM. Horta Ribeiro / R. West (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 Quantum Protocols for ML, Physics, and FinanceG. A. Gluch / M. Kapralov; R. Urbanke (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 Understanding generalization and robustness in modern deep learningM. Andriushchenko / N. H. B. Flammarion (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 Towards Language Learning From Passive Exposures To In-Context ExamplesL. H. Klein / R. West (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 Modeling and Enhancing Human Knowledge NavigationA. Arora / R. West (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 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 Safe Deep Neural NetworksK. M. Matoba / P. Vandergheynst; F. Fleuret (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 Contemporary Logic Synthesis: with an Application to AQFP Circuit OptimizationS-Y. Lee / G. De Micheli (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 Robustness of gossip-based protocolsA. Kucherenko / A-M. Kermarrec; R. Guerraoui (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 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 2023Theses Building Strongly-Consistent Systems Resilient to Failures, Partitions, and SlowdownsC. Basescu / B. A. Ford (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 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 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 Type-Preserving Compilation of Class-Based LanguagesG. A. F. Martres / M. Odersky (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Making Computer Vision Models Robust and AdaptiveS. T. Yeo / A. Roshan Zamir; P. Dillenbourg (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 Distributed Optimization with Byzantine Robustness GuaranteesL. He / M. Jaggi (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Worst-Case Delay Analysis of Time-Sensitive Networks with Network CalculusS. M. Tabatabaee / J-Y. Le Boudec; P. Thiran (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 Empathetic Conversational Agents for Distress SupportK. A. Welivita / P. Pu Faltings (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Security in the Presence of Quantum AdversariesK. Barooti / S. Vaudenay (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 Improving Generalization of Pretrained Language ModelsR. Karimi Mahabadi / V. Cevher; J. Henderson (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Green Cryptography and Other OptimisationsA. F. Caforio / S. Vaudenay (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 Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL SimulationS. Kashani / J. R. Larus (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 Transformer Models for VisionJ-B. F. M. J. Cordonnier / M. Jaggi (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 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 Towards Novel Evaluation Methods for Social Dialog SystemsE. Svikhnushina / P. Pu Faltings (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 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 Robust Training and Verification of Deep Neural NetworksF. R. Latorre Gomez / V. Cevher (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher 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 Scalable Metaprogramming in Scala 3N. A. Stucki / M. Odersky (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 Deep Learning Generalization with Limited and Noisy LabelsM. Forouzesh / P. Thiran (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 Time vs. Truth: Age-Distortion Tradeoffs and Strategies for Distributed InferenceY. Inan / E. Telatar (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 Reliable Microsecond-Scale Distributed ComputingA. Xygkis / R. Guerraoui (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 Communication-efficient distributed training of machine learning modelsT. Vogels / M. Jaggi (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 Computational Models of Mutual Understanding for Human-Robot Collaborative LearningU. Norman / P. Dillenbourg (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 Stochastic Models for Comparison-based SearchD. Chumbalov / M. Grossglauser (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 Evaluating, Exploiting, and Hiding Power Side-Channel Leakage of Remote FPGAsO. Glamocanin / B. Falsafi; M. Stojilovic (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 Automating the Design of Programmable Interconnect for Reconfigurable ArchitecturesS. Nikolic / P. Ienne (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 Deep Learning for 3D Surface Modelling and ReconstructionB. A. R. Guillard / P. Fua (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 Detecting Anomalies and Obstacles in Road ScenesK. M. Lis / P. Fua; M. Salzmann (Dir.) Lausanne, EPFL, 2023. Detailed record View at publisher Improving Object Detection under Domain ShiftsVidit / P. Fua; M. Salzmann (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 Dense Image-based Predictions for Comics AnalysisD. Bhattacharjee / P. Fua; M. Salzmann (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 Latency Interfaces for Systems CodeR. R. Iyer / G. Candea; A. Argyraki (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 2022Theses Attacks on some post-quantum cryptographic protocols: The case of the Legendre PRF and SIKEN. Kaluderovic / S. Vaudenay; A. Lenstra (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher Practical Compilation of Quantum ProgramsB. Schmitt Antunes / G. De Micheli; M. Soeken (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher Detecting Latent Training Needs Using Large DatasetsR. Yazdanian / P. Dillenbourg; R. West (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher A Functional Perspective on Information MeasuresA. R. Esposito / M. C. Gastpar (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher Differentiable Physically Based Rendering: Algorithms, Systems and ApplicationsM. E. Nimier-David / W. A. Jakob (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher Toward Internet Performance TransparencyG. Fragkouli / A. Argyraki; B. A. Ford (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher Predicting in Uncertain Environments: Methods for Robust Machine LearningP. T. Y. Rolland / V. Cevher (Dir.) Lausanne, EPFL, 2022. Detailed record View at publisher
