Cryptographie dans les groupes/ Georg Fuchsbauer; sous la direction de David Pointcheval (thèse) 2010
https://www.di.ens.fr/, 2018-04-18 : DI ENS. UMR 8548. "Le Département d'Informatique de l'ENS (DI ENS), créé en 1999, combine recherche de haut niveau et enseignement d'excellence ; c'est à la fois un département d'enseignement et un laboratoire de recherche, unité mixte de recherche UMR 8548, affilié à l'ENS (membre de PSL Research University), au CNRS et à Inria."
École normale supérieure (Paris ; 1985-....). Département d'informatique
Laboratoire d'informatique de l'école normale supérieure (Paris)
LIENS - Laboratoire d'informatique de l'école normale supérieure
Le Département d'informatique de l'École normale supérieure, Paris (DI ENS), créé en 1999, combine recherche de haut niveau et enseignement d'excellence ; c'est à la fois un département d'enseignement et un laboratoire de recherche, unité mixte de recherche UMR 8548, affilié à l'École normale supérieure, Paris (membre de l'Université PSL), au Centre national de la recherche scientifique (CNRS) et à l'Institut national de recherche en informatique et automatique (INRIA).
New security primitives and better performance through parameter trade-offs / Fatima-Ezzahra El Orche ; sous la direction de David Naccache et de Peter Ryan / , 2022
Apprentissage structuré à partir de vidéos et langage / Jean-Baptiste Alayrac ; sous la direction de Josef Sivic et de Simon Lacoste-Julien et de Ivan Laptev / , 2018
Self-taught robots : autonomous and weakly-supervised learning for robotic manipulation / Minttu Alakuijala ; sous la direction de Jean Ponce et de Julien Mairal / , 2022
On the geometry of optimization problems and their structure / Vincent Roulet ; sous la direction de Alexandre d'Aspremont / , 2017
New methods for image classification, image retrieval and semantic correspondence / Rafael Sampaio de Rezende ; sous la direction de Jean Ponce et de Francis Bach / , 2017
On inductive biases for machine learning in data constrained settings / Grégoire Mialon ; sous la direction de Alexandre d' Aspremont et de Julien Mairal / , 2022
Proof-oriented domain-specific language design for high-assurance software / Denis Merigoux ; sous la direction de Karthikeyan Bhargavan et de Jonathan Protzenko / , 2021
Une approche combinée langage-polyédrique pour la programmation parallèle hétérogène / Jie Zhao ; sous la direction de Albert Henri Cohen / , 2018
Authentication and encryption protocols : design, attacks and algorithmic improvements / Diana Ştefania Maimuţ ; sous la direction de David Naccache / , 2015
Cryptography for pragmatic distributed trust and the role of blockchain / Quentin Santos ; sous la direction de David Pointcheval / , 2018
A synchronous approach to quasi-periodic systems / Guillaume Baudart ; sous la direction de Marc Pouzet / , 2017
Greedy approaches to approximation of some NP-hard combinatorial optimization problems / Mathieu Mari ; sous la direction de Claire Mathieu et de Chien-Chung Huang / , 2020
Full disk encryption and beyond / Louiza Khati ; sous la direction de Damien Vergnaud / , 2019
Connecting graphs to machine learning / Gaëlle Candel ; sous la direction de David Naccache / , 2022
Static analysis by abstract interpretation of functional temporal properties of programs / Caterina Urban ; sous la direction de Antoine Miné et de Radhia Cousot / , 2015
Worst-case analysis of efficient first-order methods / Mathieu Barré ; sous la direction de Alexandre d' Aspremont / , 2021
Étude de l'arithmétique des couplages sur les courbes algébriques pour la cryptographie / Aurore Guillevic ; sous la direction de Phong Nguyen et de Damien Vergnaud / [Villeurbanne] : CCSD , 2013
Optimization and control of storage in smart grids / Md Umar Hashmi ; sous la direction de Marc Lelarge / , 2019
Towards a mathematical understanding of deep convolutional neural networks / Florentin Guth ; sous la direction de Stéphane Mallat / , 2023
A semantic approach to machine-level software security / Georges-Axel Jaloyan ; sous la direction de David Naccache et de Aymeric Vincent / , 2021
Wavelet-based representations of point processes for modelling and statistical learning / Antoine Brochard ; sous la direction de Bartłomiej Błaszczyszyn et de Stéphane Mallat / , 2022
Efficient lattice-based zero-knowledge proofs and applications / Rafaël Del Pino ; sous la direction de David Pointcheval et de Vadim Lyubashevsky / , 2018
Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory / Nhat Minh Lê ; sous la direction de Albert Henri Cohen / , 2016
Analyse et accélération des descentes de gradient et des algorithmes de gossip / Raphaël Berthier ; sous la direction de Francis Bach / , 2021
Méthodes accélérées pour l'optimisation distribuée / Hadrien Hendrikx ; sous la direction de Francis Bach et de Laurent Massoulie / , 2021
Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation / Mohamed Riyadh Baghdadi ; sous la direction de Albert Henri Cohen et de Sven Verdoolaege / , 2015
On efficient methods for high-dimensional statistical estimation / Dmitry Babichev ; sous la direction de Francis Bach et de Anatoli Juditsky / , 2019
On the parameter learning for Perturb-and-MAP models / Tatiana Shpakova ; sous la direction de Francis Bach / , 2019
Délégation et traçage pour la cryptographie à base d'attributs / Lénaïck Gouriou ; sous la direction de David Pointcheval / , 2023
Abstractions relationnelles de la mémoire pour une analyse compositionnelle de structures de données / Hugo Illous ; sous la direction de Xavier Rival et de Matthieu Lemerre / , 2019
Structured modeling and recognition of human actions in video / Guilhem Chéron ; sous la direction de Ivan Laptev et de Cordelia Schmid / , 2018
Learning visual language models for video understanding / Antoine Yang ; sous la direction de Ivan Laptev et de Cordelia Schmid / , 2023
Side-channel and fault analysis in the presence of countermeasures : tools, theory, and practice / Roman Korkikian ; sous la direction de David Naccache / , 2016
Algorithmes efficaces avec vitesses de convergence rapides pour l'apprentissage séquentiel / Rémi Jézéquel ; sous la direction de Francis Bach et de Pierre Gaillard et de Alessandro Rudi / , 2023
Efficient code generation for hardware accelerators by refining partially specified implementation / Ulysse Beaugnon ; sous la direction de Albert Henri Cohen et de Marc Pouzet / , 2019
Privacy-preserving cryptographic protocols / Patrick Towa ; sous la direction de Damien Vergnaud / , 2020
Vérification par interprétation abstraite en mémoire faiblement cohérente / Thibault Suzanne ; sous la direction de Antoine Miné / , 2019
Towards decentralization, asynchrony, privacy and personalization in federated learning / Mathieu Even ; sous la direction de Laurent Massoulié / , 2024
Faithful model reduction of discrete biological systems / Albin Salazar ; sous la direction de Jérôme Feret / , 2023
The security of the one-more discrete-logarithm assumption and blind Schnorr signatures / Antoine Plouviez ; sous la direction de David Pointcheval et de Georg Fuchsbauer / , 2021
Zero-knowledge proofs for secure computation / Geoffroy Couteau ; sous la direction de David Pointcheval et de Hoeteck Wee / , 2017
Representing 3D models for alignment and recognition / Mathieu Aubry ; sous la direction de Daniel Cremers et de Josef Sivic / , 2015
Optimization of fast deep learning models for audio analysis and synthesis / Alexandre Défossez ; sous la direction de Francis Bach et de Nicolas Usunier et de Léon Bottou / , 2020
Diverse modules and zero-knowledge / Fabrice Ben Hamouda--Guichoux ; sous la direction de David Pointcheval et de Michel Abdalla / , 2016
Analyzing and introducing structures in deep convolutional neural networks / Edouard Oyallon ; sous la direction de Stéphane Mallat / , 2017
Static analysis on numeric and structural properties of array contents / Jiangchao Liu ; sous la direction de Xavier Rival / , 2018
On the Links between Probabilistic Graphical Models and Submodular Optimisation / Senanayak Sesh Kumar Karri ; sous la direction de Francis Bach / , 2016
Contribution to interactive cryptography / Baptiste Cottier ; sous la direction de David Pointcheval et de Olivier Blazy / , 2023
Opérateurs convolutionnels dans le plan temps-fréquence / Vincent Lostanlen ; sous la direction de Stéphane Mallat / , 2017
Pixel-level tracking and future prediction in video streams / Guillaume Le Moing ; sous la direction de Cordelia Schmid et de Jean Ponce / , 2024
Convex and online optimization : applications to scheduling and selection problems / Victor Verdugo ; sous la direction de Claire Mathieu et de José Rafael Correa Haeussler / , 2018
Contributions à l'apprentissage statistique structuré : théorie et algorithmes / Théophile Cantelobre ; sous la direction de Benjamin Guedj et de Alessandro Rudi et de Carlo Ciliberto / , 2024
Fully homomorphic encryption for machine learning / Michele Minelli ; sous la direction de Michel Abdalla et de Hoeteck Wee / , 2018
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation / Lélio Brun ; sous la direction de Marc Pouzet et de Timothy Bourke / , 2020
Efficacité des méthodes locales pour la classification d'images et la regression d'énergie en physique / Louis Thiry ; sous la direction de Stéphane Mallat / , 2021
Attaques et preuves de sécurité des protocoles d'échange de clés authentifiés / Petra Šala ; sous la direction de David Naccache et de Peter Ryan / , 2021
Étude de prefetchers matériels par canal auxiliaire sur le cache / Guillaume Didier ; sous la direction de David Naccache et de Clémentine Maurice / , 2023
Étude de l'arithmétique des couplages sur les courbes algébriques pour la cryptographie / Aurore Guillevic ; sous la direction de Phong Nguyen et de Damien Vergnaud / , 2013
Secure implementation of block ciphers against physical attacks / Dahmun Goudarzi ; sous la direction de Damien Vergnaud et de Matthieu Rivain / , 2018
Learning to localize goal-oriented actions with weak supervision / Dimitri Zhukov ; sous la direction de Ivan Laptev / , 2021
Learnable factored image representation for visual discovery / Théophile Dalens ; sous la direction de Josef Sivic et de Mathieu Aubry / , 2019
Fundamental limits of inference : a statistical physics approach / Léo Miolane ; sous la direction de Marc Lelarge / , 2019
Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées / Benjamin Lipp ; sous la direction de Bruno Blanchet et de Karthikeyan Bhargavan / , 2022
Automated verification of systems code using type-based memory abstractions / Olivier Nicole ; sous la direction de Xavier Rival et de Matthieu Lemerre / , 2022
Formal and exact reduction for differential models of signalling pathways in rule-based languages / Ferdinanda Camporesi ; sous la direction de Jérôme Feret et de Radhia Cousot / , 2017
Structured prediction with theoretical guarantees / Alex Nowak Vila ; sous la direction de Francis Bach / , 2021
Try again. Fail again. Fail better : new notions of security, broken assumptions, and increased efficiency in cryptography / Aisling Connolly ; sous la direction de David Naccache / , 2019
Convolutional neural networks : towards less supervision for visual recognition / Maxime Oquab ; sous la direction de Ivan Laptev et de Josef Sivic et de Léon Bottou / , 2018
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra / Ramakrishna Upadrasta ; sous la direction de Albert Henri Cohen / , 2013
Expert-in-the-loop supervised learning for computer security detection systems / Anaël Beaugnon ; sous la direction de Francis Bach et de Pierre Chifflier / , 2018
Calculs sous garanties et chiffrement à clé publique extensible dans des contextes non interactifs / Paola de Perthuis ; sous la direction de David Pointcheval / , 2024
Transferable e-cash : an analysis in the algebraic group model / Balthazar Bauer ; sous la direction de David Pointcheval et de Georg Fuchsbauer / , 2020
Large-scale learning from video and natural language / Antoine Miech ; sous la direction de Josef Sivic et de Ivan Laptev / , 2020
Inférence dans des grands graphes aléatoires / Ludovic Stephan ; sous la direction de Laurent Massoulié / , 2021
Verified compilation of a synchronous dataflow language with state machines / Basile Pesin ; sous la direction de Marc Pouzet / , 2023
Acceleration in optimization / Damien Scieur ; sous la direction de Francis Bach et de Alexandre d' Aspremont / , 2018
Asynchronous optimization for machine learning / Rémi Leblond ; sous la direction de Francis Bach et de Simon Lacoste-Julien / , 2018
Records of stationary processes and unimodular graphs / Bharath Roy Choudhury ; sous la direction de François Baccelli et de Bartłomiej Błaszczyszyn / , 2023
Abstractions of biochemical reaction networks / Andreea Beica ; sous la direction de Vincent Danos / , 2019
A Markovian approach to distributional semantics / Edouard Grave ; sous la direction de Francis Bach et de Guillaume Obozinski / , 2014
Memory specification in a data-flow synchronous language with statically sized arrays / Baptiste Pauget ; sous la direction de Marc Pouzet / , 2023
Modeling and recognizing interactions between people, objects and scenes / Vincent Delaitre ; sous la direction de Ivan Laptev et de Josef Sivic / , 2015
Sequential decision problems in non-stationary environments / Yoan Russac ; sous la direction de Olivier Cappé et de Aurélien Garivier / , 2022
Pseudo-random generators and pseudo-random functions : cryptanalysis and complexity measures / Thierry Mefenza Nountu ; sous la direction de Damien Vergnaud et de Marcel Tonga / , 2017
Annotation-efficient learning for object discovery and detection / Huy V. Vo ; sous la direction de Jean Ponce / , 2022
Security analysis for pseudo-random number generators / Sylvain Ruhault ; sous la direction de David Pointcheval et de Damien Vergnaud / , 2015
From weakly supervised learning to active labeling / Vivien Cabannes ; sous la direction de Francis Bach et de Alessandro Rudi / , 2022
Dynamiques markoviennes à base de processus ponctuels et leurs applications / Michel Davydov ; sous la direction de François Baccelli / , 2023
Change-point detection and kernel methods / Damien Garreau ; sous la direction de Sylvain Arlot et de Gérard Biau / , 2017
Algebraic frameworks for pseudorandom functions / Alain Passelègue ; sous la direction de Michel Abdalla / , 2016
Foveal autoregressive neural time-series modeling / Mathieu Andreux ; sous la direction de Stéphane Mallat / , 2018
Compact models of multi-scale processes / Rudy Morel ; sous la direction de Stéphane Mallat / , 2023
Crowd-networking : modèles de percolation pour la connectivité Device-to-Device en environnement urbain, et conséquences économiques / Quentin Le Gall ; sous la direction de Bartłomiej Błaszczyszyn et de Elie Cali / , 2020
Stochastic approximation and least-squares regression, with applications to machine learning / Nicolas Flammarion ; sous la direction de Francis Bach et de Alexandre d' Aspremont / , 2017
Zeroth-order optimization for real-time bidding : a mathematical perspective / Juliette Achddou ; sous la direction de Olivier Cappé et de Aurélien Garivier / , 2022
Simulation parfaite de réseaux fermés de files d'attente et génération aléatoire de structures combinatoires / Christelle Rovetta ; sous la direction de Anne Bouillard et de Ana Bušić / , 2017
Functional encryption for inner-product evaluations / Florian Bourse ; sous la direction de David Pointcheval et de Michel Abdalla / , 2017
Prédiction structurée pour l'analyse de données séquentielles / Rémi Lajugie ; sous la direction de Francis Bach et de Sylvain Arlot / , 2015
Malleable cryptography : advances and applications to privacy-enhancing technologies / Octavio Pérez Kempner ; sous la direction de David Naccache et de Pascal Lafourcade / , 2022
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite / Marc Chevalier ; sous la direction de Jérôme Feret / , 2020
Balancing energy, security and circuit area in lightweight cryptographic hardware design / Rodrigo Portella ; sous la direction de David Naccache / , 2016
Security of cryptosystems against power-analysis attacks / Sonia Belaïd ; sous la direction de Michel Abdalla et de Pierre-Alain Fouque / , 2015
Principes de la vérification de programmes à effets monadique arbitraires / Kenji Maillard ; sous la direction de Cătălin Hriţcu / , 2019
Fast and private pool testing and contributions to experimental mathematics / Ofer Yifrach-Stav ; sous la direction de David Naccache et de Robert Weil / , 2024
Security for the cloud / Mario Cornejo-Ramirez ; sous la direction de Michel Abdalla / , 2016
Multimodal extraction of proofs and theorems from the scientific literature / Shrey Mishra ; sous la direction de Pierre Senellart / , 2024
Analyse probabiliste de processus distribués axés sur les processus de consensus / Frederik Mallmann-Trenn ; sous la direction de Claire Mathieu et de Petra Berenbrink / , 2017
Compilation certifiée de SCADE/LUSTRE / Cédric Auger ; sous la direction de Marc Pouzet / , 2013
Sur la méthode des moments pour l'estimation des modèles à variables latentes / Anastasia Podosinnikova ; sous la direction de Francis Bach et de Simon Lacoste-Julien / , 2016
Learning human body and human action representations from visual data / Gül Varol ; sous la direction de Ivan Laptev et de Cordelia Schmid / , 2019
Hybrid fully homomorphic framework / Pierrick Méaux ; sous la direction de David Pointcheval et de Vadim Lyubashevsky / , 2017
Learning multi-task policies for robotics / Elliot Chane-Sane ; sous la direction de Cordelia Schmid et de Ivan Laptev / , 2023
Gaussian sampling in lattice-based cryptography / Thomas Prest ; sous la direction de David Pointcheval et de Vadim Lyubashevsky / , 2015
Learning dexterous manipulation from 3D hand and object interaction / Zerui Chen ; sous la direction de Cordelia Schmid / , 2025
Apprentissage profond pour les systèmes physiques : estimation, adaptation et exploration / Matthieu Blanke ; sous la direction de Marc Lelarge / , 2024
Estimating 3D motion and forces from monocular videos / Zongmian Li ; sous la direction de Josef Sivic et de Ivan Laptev / , 2023
Advances in public-key cryptology and computer exploitation / Rémi Géraud ; sous la direction de David Naccache / , 2017
Relaxations of the seriation problem and applications to de novo genome assembly / Antoine Recanati ; sous la direction de Alexandre d' Aspremont / , 2018
Security and optimization of blockchains and associated algorithms / Mirko Koscina ; sous la direction de David Naccache et de Pascal Lafourcade / , 2021
Validation de traduction pour compilateurs de tenseurs / Basile Clément ; sous la direction de Xavier Leroy et de Albert Henri Cohen / , 2022
Unimodularity in random networks : applications to the null recurrent Doeblin graph and hierarchical clustering / Sayeh Khaniha ; sous la direction de François Baccelli et de Mir Omid Haji Mirsadeghi / , 2023
Nouvelles approches pour le partitionnement de grands graphes / Alexandre Hollocou ; sous la direction de Marc Lelarge et de Thomas Bonald / , 2018
Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d'une compilation synchrone / Léonard Gérard ; sous la direction de Marc Pouzet / , 2013
Apprentissage par noyaux reproduisants : descente de gradient stochastique et estimation de laplacien / Loucas Pillaud-Vivien ; sous la direction de Francis Bach et de Alessandro Rudi / , 2020
Constructions of advanced cryptographic primitives / Michael Reichle ; sous la direction de Michel Abdalla et de Brice Minaud / , 2023
Analyse des personnes dans les films stéréoscopiques / Guillaume Seguin ; sous la direction de Ivan Laptev et de Josef Sivic / , 2016
Sur deux problèmes d'apprentissage automatique : la détection de communautés et l'appariement adaptatif / Lennart Gulikers ; sous la direction de Laurent Massoulié et de Marc Lelarge / , 2017
The graph alignment problem : fundamental limits and efficient algorithms / Luca Ganassali ; sous la direction de Laurent Massoulié et de Marc Lelarge / , 2022
Security of cryptographic protocols and data structures : design and optimisation / Marius Lombard-Platet ; sous la direction de David Naccache et de Pascal Lafourcade / , 2021
Sécurisation systématique d'applications embarquées contre les attaques physiques / Julien Proy ; sous la direction de Albert Henri Cohen et de Karine Heydemann / , 2019
A tale of SNARKs : quantum resilience, knowledge extractability and data privacy / Anca Nitulescu ; sous la direction de David Pointcheval et de Michel Abdalla et de Dario Fiore / , 2019
Extended security of lattice-based cryptography / Mélissa Rossi ; sous la direction de Michel Abdalla et de Henri Gilbert / , 2020
Cryptographie appliquée à la sécurité des systèmes d'information / Marc Beunardeau ; sous la direction de David Naccache / , 2019
Integrity, authentication and confidentiality in public-key cryptography / Houda Ferradi ; sous la direction de David Naccache / , 2016
Learning structured models on weighted graphs, with applications to spatial data analysis / Loïc Landrieu ; sous la direction de Guillaume Obozinski et de Francis Bach / , 2016
Conception et optimisation de mécanismes cryptographique anonymes / Olivier Sanders ; sous la direction de David Pointcheval / , 2015
Sparsity and phase collapse in deep convolutional networks / John Zarka ; sous la direction de Stéphane Mallat / , 2022
Modelling functions with kernels : from logistic regression to global optimisation / Ulysse Marteau-Ferey ; sous la direction de Francis Bach / , 2022
Study of the dynamics of spatial point processes in wireless communication networks / Pierre Popineau ; sous la direction de François Baccelli / , 2023
Dynamic network formation / Rémi Varloot ; sous la direction de Laurent Massoulié et de Ana Bušić / , 2018
Neural architectures for estimating correspondences between images / Ignacio Rocco ; sous la direction de Josef Sivic et de Relja Arandjelovic / , 2020
Shape abstractions with support for sharing and disjunctions / Huisong Li ; sous la direction de Xavier Rival / , 2018
On the achievability of white-box cryptography / Răzvan Roşie ; sous la direction de Michel Abdalla / , 2019
Cryptography for privacy-preserving machine learning / Théo Ryffel ; sous la direction de David Pointcheval et de Francis Bach / , 2022
Accelerating conditional gradient methods / Thomas Kerdreux ; sous la direction de Alexandre d' Aspremont / , 2020
A synchronous functional language with integer clocks / Adrien Guatto ; sous la direction de Albert Henri Cohen et de Marc Pouzet / , 2016
Time-series generation by connecting scales with phase and random features, and applications to audio / Gaspar Rochette de Lempdes ; sous la direction de Stéphane Mallat / , 2023
Efficient algorithms for control and reinforcement learning / Eloïse Berthier ; sous la direction de Francis Bach / , 2022
Deep learning techniques for graph embedding at different scales / Alexis Galland ; sous la direction de Marc Lelarge / , 2020
Non-interactive arguments of knowledge / Michele Orrù ; sous la direction de Georg Fuchsbauer et de Hoeteck Wee / , 2020
Compiler optimisations and relaxed memory consistency models / Robin Morisset ; sous la direction de Francesco Zappa Nardelli / , 2017
Annotation automatique de scenes vidéo / Piotr Bojanowski ; sous la direction de Jean Ponce / , 2016
Contre-mesures aux attaques par canaux cachés et calcul multi-parti sécurisé / Adrian Thillard ; sous la direction de Emmanuel Prouff et de Damien Vergnaud / , 2016
Advanced password-authenticated key exchanges / Pierre-Alain Dupont ; sous la direction de David Pointcheval / , 2018
On the expressive power of invariant logics over sparse classes of structures / Julien Grange ; sous la direction de Luc Segoufin / , 2020
Graph algorithms : network inference and planar graph optimization / Hang Zhou ; sous la direction de Claire Mathieu / , 2015
Image reconstruction from multiple shots with trainable algorithms / Bruno Lecouat ; sous la direction de Jean Ponce et de Julien Mairal / , 2023
Public-key encryption, revisited : tight security and richer functionalities / Romain Gay ; sous la direction de Michel Abdalla et de Hoeteck Wee / , 2019
Reverse engineering secure systems using physical attacks / Thibaut Heckmann ; sous la direction de David Naccache / , 2018
Formal verification for high assurance security software in FStar : application to communication protocols and cryptographic primitives / Benjamin Beurdouche ; sous la direction de Karthikeyan Bhargavan / , 2020
Learning to detect visual relations / Julia Peyre ; sous la direction de Josef Sivic et de Ivan Laptev et de Cordelia Schmid / , 2019
The semiring-based provenance framework for graph databases / Yann Ramusat ; sous la direction de Pierre Senellart et de Silviu Maniu / , 2022
Primal-dual proximal augmented lagrangian methods for quadratic programming : theory and implementation / Antoine Bambade ; sous la direction de Jean Ponce et de Justin Carpentier et de Adrien Taylor / , 2024
Stochastic approximation in Hilbert spaces / Aymeric Dieuleveut ; sous la direction de Francis Bach / , 2017
Inference and applications for topic models / Christophe Dupuy ; sous la direction de Francis Bach / , 2017
Homomorphic cryptography and privacy / Chloé Hébant ; sous la direction de David Pointcheval et de Duong Hieu Phan / , 2021
Modeling and recognizing interactions between people, objects and scenes / Vincent Delaitre [ Paris, Ecole normale supérieure ]
Conception et optimisation de mécanismes cryptographique anonymes / Olivier Sanders [ Paris, Ecole normale supérieure ]
Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone / Léonard Gérard [ Paris 11 ]
Efficacité des méthodes locales pour la classification d'images et la regression d'énergie en physique / Louis Thiry [ Sorbonne université ]
A Markovian approach to distributional semantics / Edouard Grave [ Paris 6 ]
Improving tiling, reducing compilation time, and extending the scope of polyhedral compilation / Mohamed Riyadh Baghdadi [ Paris 6 ]
Prédiction structurée pour l’analyse de données séquentielles / Rémi Lajugie [ Paris, Ecole normale supérieure ]
Graph algorithms : network inference and planar graph optimization / Hang Zhou [ Paris, Ecole normale supérieure ]
Security of cryptosystems against power-analysis attacks / Sonia Belaïd [ Paris, Ecole normale supérieure ]
Security analysis for pseudo-random number generators / Sylvain Ruhault [ Paris, Ecole normale supérieure ]
Static analysis by abstract interpretation of functional temporal properties of programs / Caterina Urban [ Paris, Ecole normale supérieure ]
Compilation certifiée de SCADE/LUSTRE / Cédric Auger [ Paris 11 ]
Authentication and encryption protocols : design, attacks and algorithmic improvements / Diana Ştefania Maimuţ [ Paris, Ecole normale supérieure ]
Representing 3D models for alignment and recognition / Mathieu Aubry [ Paris, Ecole normale supérieure ]
Gaussian sampling in lattice-based cryptography / Thomas Prest [ Paris, Ecole normale supérieure ]
Modelling functions with kernels : from logistic regression to global optimisation / Ulysse Marteau-Ferey [ Université Paris sciences et lettres ]
Efficient algorithms for control and reinforcement learning / Eloïse Berthier [ Université Paris sciences et lettres ]
Privacy-preserving cryptographic protocols / Patrick Towa [ Université Paris sciences et lettres ]
Convex and online optimization : applications to scheduling and selection problems / Victor Verdugo [ Paris Sciences et Lettres (ComUE) ]
Full disk encryption and beyond / Louiza Khati [ Paris Sciences et Lettres (ComUE) ]
Cryptographie appliquée à la sécurité des systèmes d’information / Marc Beunardeau [ Paris Sciences et Lettres (ComUE) ]
Sécurisation systématique d'applications embarquées contre les attaques physiques / Julien Proy [ Paris Sciences et Lettres (ComUE) ]
Integrity, authentication and confidentiality in public-key cryptography / Houda Ferradi [ Paris Sciences et Lettres (ComUE) ]
Asynchronous optimization for machine learning / Rémi Leblond [ Paris Sciences et Lettres (ComUE) ]
Proof-oriented domain-specific language design for high-assurance software / Denis Merigoux [ Université Paris sciences et lettres ]
Stochastic approximation and least-squares regression, with applications to machine learning / Nicolas Flammarion [ Paris Sciences et Lettres (ComUE) ]
Inference and applications for topic models / Christophe Dupuy [ Paris Sciences et Lettres (ComUE) ]
Inférence dans des grands graphes aléatoires / Ludovic Stephan [ Sorbonne université ]
The security of the one-more discrete-logarithm assumption and blind Schnorr signatures / Antoine Plouviez [ Université Paris sciences et lettres ]
Cryptography for privacy-preserving machine learning / Théo Ryffel [ Université Paris sciences et lettres ]
Attaques et preuves de sécurité des protocoles d'échange de clés authentifiés / Petra Šala [ Université Paris sciences et lettres ]
Security of cryptographic protocols and data structures : design and optimisation / Marius Lombard-Platet [ Université Paris sciences et lettres ]
Foveal autoregressive neural time-series modeling / Mathieu Andreux [ Paris Sciences et Lettres (ComUE) ]
Analyse et accélération des descentes de gradient et des algorithmes de gossip / Raphaël Berthier [ Université Paris sciences et lettres ]
On the Links between Probabilistic Graphical Models and Submodular Optimisation / Senanayak Sesh Kumar Karri [ Paris Sciences et Lettres (ComUE) ]
Sur la méthode des moments pour l'estimation des modèles à variables latentes / Anastasia Podosinnikova [ Paris Sciences et Lettres (ComUE) ]
Analyse probabiliste de processus distribués axés sur les processus de consensus / Frederik Mallmann-Trenn [ Paris Sciences et Lettres (ComUE) ]
Sur deux problèmes d’apprentissage automatique : la détection de communautés et l’appariement adaptatif / Lennart Gulikers [ Paris Sciences et Lettres (ComUE) ]
Hybrid fully homomorphic framework / Pierrick Méaux [ Paris Sciences et Lettres (ComUE) ]
Balancing energy, security and circuit area in lightweight cryptographic hardware design / Rodrigo Portella [ Paris Sciences et Lettres (ComUE) ]
Advances in public-key cryptology and computer exploitation / Rémi Géraud [ Paris Sciences et Lettres (ComUE) ]
Change-point detection and kernel methods / Damien Garreau [ Paris Sciences et Lettres (ComUE) ]
Zero-knowledge proofs for secure computation / Geoffroy Couteau [ Paris Sciences et Lettres (ComUE) ]
Functional encryption for inner-product evaluations / Florian Bourse [ Paris Sciences et Lettres (ComUE) ]
Efficient lattice-based zero-knowledge proofs and applications / Rafaël del Pino [ Paris Sciences et Lettres (ComUE) ]
Expert-in-the-loop supervised learning for computer security detection systems / Anaël Beaugnon [ Paris Sciences et Lettres (ComUE) ]
Advanced password-authenticated key exchanges / Pierre-Alain Dupont [ Paris Sciences et Lettres (ComUE) ]
A synchronous functional language with integer clocks / Adrien Guatto [ Paris Sciences et Lettres (ComUE) ]
Study of the dynamics of spatial point processes in wireless communication networks / Pierre Popineau [ Université Paris sciences et lettres ]
Wavelet-based representations of point processes for modelling and statistical learning / Antoine Brochard [ Université Paris sciences et lettres ]
Stochastic approximation in Hilbert spaces / Aymeric Dieuleveut [ Paris Sciences et Lettres (ComUE) ]
Optimization of fast deep learning models for audio analysis and synthesis / Alexandre Défossez [ Université Paris sciences et lettres ]
Security for the cloud / Mario Cornejo-Ramirez [ Paris Sciences et Lettres (ComUE) ]
Deep learning techniques for graph embedding at different scales / Alexis Galland [ Université Paris sciences et lettres ]
Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées / Benjamin Lipp [ Université Paris sciences et lettres ]
Homomorphic cryptography and privacy / Chloé Hébant [ Université Paris sciences et lettres ]
Secure implementation of block ciphers against physical attacks / Dahmun Goudarzi [ Paris Sciences et Lettres (ComUE) ]
Greedy approaches to approximation of some NP-hard combinatorial optimization problems / Mathieu Mari [ Université Paris sciences et lettres ]
Learning structured models on weighted graphs, with applications to spatial data analysis / Loïc Landrieu [ Paris Sciences et Lettres (ComUE) ]
New methods for image classification, image retrieval and semantic correspondence / Rafael Sampaio de Rezende [ Paris Sciences et Lettres (ComUE) ]
Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory / Nhat Minh Lê [ Paris Sciences et Lettres (ComUE) ]
Dynamic network formation / Rémi Varloot [ Paris Sciences et Lettres (ComUE) ]
Opérateurs convolutionnels dans le plan temps-fréquence / Vincent Lostanlen [ Paris Sciences et Lettres (ComUE) ]
Extended security of lattice-based cryptography / Mélissa Rossi [ Université Paris sciences et lettres ]
Zeroth-order optimization for real-time bidding : a mathematical perspective / Juliette Achddou [ Université Paris sciences et lettres ]
On inductive biases for machine learning in data constrained settings / Grégoire Mialon [ Université Paris sciences et lettres ]
Large-scale learning from video and natural language / Antoine Miech [ Université Paris sciences et lettres ]
Simulation parfaite de réseaux fermés de files d’attente et génération aléatoire de structures combinatoires / Christelle Rovetta [ Paris Sciences et Lettres (ComUE) ]
Validation de traduction pour compilateurs de tenseurs / Basile Clément [ Université Paris sciences et lettres ]
Fundamental limits of inference : a statistical physics approach / Léo Miolane [ Paris Sciences et Lettres (ComUE) ]
Side-channel and fault analysis in the presence of countermeasures : tools, theory, and practice / Roman Korkikian [ Paris Sciences et Lettres (ComUE) ]
Contre-mesures aux attaques par canaux cachés et calcul multi-parti sécurisé / Adrian Thillard [ Paris Sciences et Lettres (ComUE) ]
Analyzing and introducing structures in deep convolutional neural networks / Edouard Oyallon [ Paris Sciences et Lettres (ComUE) ]
Pseudo-random generators and pseudo-random functions : cryptanalysis and complexity measures / Thierry Mefenza Nountu [ Paris Sciences et Lettres (ComUE) ]
On the geometry of optimization problems and their structure / Vincent Roulet [ Paris Sciences et Lettres (ComUE) ]
Reverse engineering secure systems using physical attacks / Thibaut Heckmann [ Paris Sciences et Lettres (ComUE) ]
A synchronous approach to quasi-periodic systems / Guillaume Baudart [ Paris Sciences et Lettres (ComUE) ]
Fully homomorphic encryption for machine learning / Michele Minelli [ Paris Sciences et Lettres (ComUE) ]
Try again. Fail again. Fail better : new notions of security, broken assumptions, and increased efficiency in cryptography / Aisling Connolly [ Paris Sciences et Lettres (ComUE) ]
Learnable factored image representation for visual discovery / Théophile Dalens [ Paris Sciences et Lettres (ComUE) ]
Fast and private pool testing and contributions to experimental mathematics / Ofer Yifrach-Stav [ Université Paris sciences et lettres ]
Calculs sous garanties et chiffrement à clé publique extensible dans des contextes non interactifs / Paola de Perthuis [ Université Paris sciences et lettres ]
Algorithmes efficaces avec vitesses de convergence rapides pour l’apprentissage séquentiel / Rémi Jézéquel [ Université Paris sciences et lettres ]
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra / Ramakrishna Upadrasta [ Paris 11 ]
Worst-case analysis of efficient first-order methods / Mathieu Barré [ Université Paris sciences et lettres ]
On the parameter learning for Perturb-and-MAP models / Tatiana Shpakova [ Paris Sciences et Lettres (ComUE) ]
Efficient code generation for hardware accelerators by refining partially specified implementation / Ulysse Beaugnon [ Paris Sciences et Lettres (ComUE) ]
Abstractions of biochemical reaction networks / Andreea Beica [ Paris Sciences et Lettres (ComUE) ]
Annotation automatique de scenes vidéo / Piotr Bojanowski [ Paris Sciences et Lettres (ComUE) ]
Cryptography for pragmatic distributed trust and the role of blockchain / Quentin Santos [ Paris Sciences et Lettres (ComUE) ]
Acceleration in optimization / Damien Scieur [ Paris Sciences et Lettres (ComUE) ]
Optimization and control of storage in smart grids / Md Umar Hashmi [ Paris Sciences et Lettres (ComUE) ]
Vérification par interprétation abstraite en mémoire faiblement cohérente / Thibault Suzanne [ Paris Sciences et Lettres (ComUE) ]
Transferable e-cash : an analysis in the algebraic group model / Balthazar Bauer [ Université Paris sciences et lettres ]
Malleable cryptography : advances and applications to privacy-enhancing technologies / Octavio Pérez Kempner [ Université Paris sciences et lettres ]
The graph alignment problem : fundamental limits and efficient algorithms / Luca Ganassali [ Université Paris sciences et lettres ]
Analyse de la sécurité de systèmes critiques embarqués à forte composante logicielle par interprétation abstraite / Marc Chevalier [ Université Paris sciences et lettres ]
Structured prediction with theoretical guarantees / Alex Nowak Vila [ Université Paris sciences et lettres ]
Accelerating conditional gradient methods / Thomas Kerdreux [ Université Paris sciences et lettres ]
Délégation et traçage pour la cryptographie à base d'attributs / Lénaïck Gouriou [ Université Paris sciences et lettres ]
Apprentissage de dictionnaire et représentation parcimonieuse pour la manipulation intelligente d'images et de vidéos / Florent Couzinie-Devy [ Université Paris sciences et lettres ]
Optimisation de la recherche de motifs spatio-temporels dans les réseaux / Younes Didi [ Université Paris sciences et lettres ]
Social Welfare in the Age of Algorithms: A Microeconomic Approach to Machine Learning and Regulation in the Digital Economy / Nabil Boukir [ Université Paris sciences et lettres ]
Combinaison de sous et surapproximations de la memoire pour l'analyse de code bas-niveau / Jérôme Faucheux [ Université Paris sciences et lettres ]
Cadriciel de vérification pour la messagerie de groupe sécurisée / Théophile Wallez [ Université Paris sciences et lettres ]
Modélisation de grands réseaux de communication / Paul-Pierre Rax [ Université Paris sciences et lettres ]
Génération de vidéos basée sur la physique / Javier Alejandro Lopetegui gonzalez [ Université Paris sciences et lettres ]
Apprentissage Statistique pour l'Évaluation de la Qualité de Service et le Dimensionnement des Réseaux Cellulaires Sans Fil / Lucas Darlavoix [ Université Paris sciences et lettres ]
Surface Intelligente Reconfigurable comme technologie de rupture - Une approche par Géométrie Stochastique / Simon Steinlin [ Université Paris sciences et lettres ]
Correspondance dynamique / Shu Li [ Université Paris sciences et lettres ]
Jeux et Logique pour la Vérification de Protocoles Cryptographiques / Justine Sauvage [ Université Paris sciences et lettres ]
Topological algorithms for graphs on surfaces = = Algorithmes topologiques pour les graphes tracés sur des surfaces : / Eric Colin de Verdière / [S.l.] : [s.n.] , 2012
Cryptographie dans les groupes / Georg Fuchsbauer ; sous la direction de David Pointcheval / Lille : Atelier national de reproduction des thèses , 2010
Jeux et automates sur les ordres / Julien Cristau ; sous la direction de Olivier Carton / [S.l.] : [s.n.] , 2010
Preuves de connaissance interactives et non-interactives / Olivier Blazy ; sous la direction de David Pointcheval / [S.l.] : [s.n.] , 2012
Etudes d'hypothèses algorithmiques et attaques de primitives cryptographiques / Charles Bouillaguet ; sous la direction de David Pointcheval / Lille : Atelier national de reproduction des thèses , 2011
Etudes d'hypothèses algorithmiques et attaques de primitives cryptographiques / Charles Bouillaguet ; sous la direction de David Pointcheval / [S.l.] : [s.n.] , 2011
Cryptographie dans les groupes / Georg Fuchsbauer ; sous la direction de David Pointcheval / [S.l.] : [s.n.] , 2010
Construction et Analyse de fonctions de Hachage / Gaëtan Leurent ; sous la direction de David Pointcheval / Lille : Atelier national de reproduction des thèses , 2010
Preuves de connaissance interactives et non-interactives / Olivier Blazy ; sous la direction de David Pointcheval / Lille : Atelier national de reproduction des thèses , 2012
Construction et Analyse de fonctions de Hachage / Gaëtan Leurent ; sous la direction de David Pointcheval / [S.l.] : [s.n.] , 2010
Jeux et automates sur les ordres / Julien Cristau ; sous la direction de Olivier Carton / Lille : Atelier national de reproduction des thèses , 2010