4850 search results - page 403 / 970 » Proof and Computation in Geometry |
163
click to vote
CSC
2006
15 years 8 months ago
2006
The computation of radiative effects by the Photon Monte Carlo method is computationally demanding, especially when complex, nongray absorption models are employed. To solve such c...
203
click to vote
TCC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
212
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
243
click to vote
ACL2
2006
ACM
16 years 26 days ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
182
click to vote
TLCA
2005
Springer
16 years 11 days ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...