1888 search results - page 21 / 378 » Proof theory and computational analysis |
150
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
101
Voted
MPC
1995
Springer
15 years 4 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
113
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
77
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
129
click to vote
CCA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...