1274 search results - page 124 / 255 » New Proofs for |
106
Voted
ICFP
2003
ACM
16 years 23 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
116
Voted
EUROCRYPT
2007
Springer
15 years 4 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
134
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
119
Voted
TIT
2010
14 years 7 months ago
2010
In this paper, we study the number of measurements required to recover a sparse signal in M with L nonzero coefficients from compressed samples in the presence of noise. We conside...
131
Voted
EUROCRYPT
2011
Springer
14 years 4 months ago
2011
Springer
We propose a Multi-Authority Attribute-Based Encryption (ABE) system. In our system, any party can become an authority and there is no requirement for any global coordination othe...