Search - Archive ouverte HAL Access content directly

Filter your results

15 Results
Structure: Internal structure identifier : 56040
Image document

Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming

Luis Fernando Pino Duque
Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English. ⟨NNT : ⟩
Theses tel-01111979v1
Image document

Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

Miguel Andrés
Computation and Language [cs.CL]. Radboud University, Nijmegen, 2011. English. ⟨NNT : ⟩
Theses tel-00655506v1
Image document

Mesurer la confidentialité avec des métriques de discernabilité: définitions, mécanismes et confidentialité des informations liées à la localisation

Nicolás E. Bordenabe
Cryptographie et sécurité [cs.CR]. École Polytechnique, 2014. Français. ⟨NNT : ⟩
Theses tel-01098088v1
Image document

On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus

Jesus Aranda
Modeling and Simulation. Ecole Polytechnique X; Universidad del Valle, 2009. English. ⟨NNT : ⟩
Theses tel-00430495v1
Image document

Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols

Romain Beauxis
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Theses tel-00772693v1
Image document

Formal Verification of Differential Privacy in Concurrent Systems

Lili Xu
Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English. ⟨NNT : ⟩
Theses tel-01384363v1
Image document

Universal Temporal Concurrent Constraint Programming

Carlos Olarte
Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Theses tel-00430446v1
Image document

Formal approaches to information hiding : An analysis of interactive systems, statistical disclosure control, and refinement of specifications

Mário S. Alvim
Cryptography and Security [cs.CR]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses tel-00639948v3
Image document

Quantitative Approaches to Information Hiding

Christelle Braun
Other [cs.OH]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses tel-00527367v1
Image document

Bisimulation Techniques and Algorithms for Concurrent Constraint Programming

Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00756952v1
Image document

Transient Behavior of Distributed Algorithms and Digital Circuit Models

Thomas Nowak
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English. ⟨NNT : ⟩
Theses pastel-01061470v1
Image document

Designing Location Privacy Mechanisms for flexibility over time and space

Marco Stronati
Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English. ⟨NNT : ⟩
Theses tel-01243295v1
Image document

On the expressiveness of spatial constraint systems

Michell Guzmán
Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩
Theses tel-01674956v3
Image document

Programmation sûre en précision finie : Contrôler les erreurs et les fuites d'informations

Ivan Gazeau
Analyse numérique [cs.NA]. Ecole Polytechnique X, 2013. Français. ⟨NNT : ⟩
Theses pastel-00913469v1
Image document

The Epistemic View of Concurrency Theory

Sophia Knight
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses tel-00940413v1