Skip to Main content Skip to Navigation

tel-01243295v1  Theses
Marco Stronati. Designing Location Privacy Mechanisms for flexibility over time and space
Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English
tel-00527367v1  Theses
Christelle Braun. Quantitative Approaches to Information Hiding
Other [cs.OH]. Ecole Polytechnique X, 2010. English
pastel-00929908v1  Theses
Nicolas Guenot. Nested Deduction in Logical Foundations for Computation
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00529021v1  Theses
Danko Ilik. Constructive Completeness Proofs and Delimited Control
Software Engineering [cs.SE]. Ecole Polytechnique X, 2010. English
tel-00547034v3  Theses
Luca de Feo. Fast Algorithms for Towers of Finite Fields and Isogenies
Mathematics [math]. Ecole Polytechnique X, 2010. English
tel-01384363v1  Theses
Lili Xu. Formal Verification of Differential Privacy in Concurrent Systems
Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English
tel-01308661v3  Theses
Gwezheneg Robert. Codes de Gabidulin en caractéristique nulle : application au codage espace-temps
Mathématiques générales [math.GM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S083⟩
tel-01111979v1  Theses
Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English
tel-01993634v1  Theses
Elise Barelli. On the security of short McEliece keys from algebraic and algebraic geometry codes with automorphisms
Mathematics [math]. École Polytechnique X; Université Paris Saclay, 2018. English
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
tel-00772693v1  Theses
Romain Beauxis. Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English
tel-00782556v1  Theses
Bastien Rance. Recherche d'associations séquentielles et alignement d'ontologies biologiques
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2009. Français
tel-00931122v1  Theses
Jiuqiang Chen. Designing scientific workflows following a structure and provenance-aware strategy
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
tel-00650399v1  Theses
Mahsa Behzadi. A Mathematical Model of Phospholipid Biosynthesis
Bioinformatics [q-bio.QM]. Ecole Polytechnique X, 2011. English
tel-02414237v2  Theses
Ulysse Gerard. Computing with relations, functions, and bindings
Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩
tel-00351837v1  Theses
Pierre-Yves Strub. Type Theory and Decision Procedures
Formal Languages and Automata Theory [cs.FL]. Ecole Polytechnique X, 2008. English. ⟨NNT : 2008EPXX0054⟩
pastel-00605836v1  Theses
Arnaud Spiwack. Verified Computing in Homological Algebra
Algebraic Topology [math.AT]. Ecole Polytechnique X, 2011. English
tel-00655506v1  Theses
Miguel Andrés. Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems
Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English
tel-00441540v3  Theses
Tom Gundersen. A General View of Normalisation through Atomic Flows
Mathematics [math]. The University of Bath, 2009. English