|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Universal Temporal Concurrent Constraint Programming
Carlos Olarte
Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩
Theses
tel-00430446v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Quantitative Approaches to Information Hiding
Christelle Braun
Other [cs.OH]. Ecole Polytechnique X, 2010. English. ⟨NNT : ⟩
Theses
tel-00527367v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Andrés Aristizábal
Other [cs.OH]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses
pastel-00756952v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
The Epistemic View of Concurrency Theory
Sophia Knight
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
tel-00940413v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|