3552 search results - page 360 / 711 » Proof theory in the abstract |
162
click to vote
PKC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, we examine issues related to the construction of identity-based threshold decryption schemes and argue that it is important in practice to design an identi...
168
click to vote
TCC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Until recently, the existence of collection of trapdoor permutations (TDP) was believed (and claimed) to imply almost all of the major cryptographic primitives, including...
189
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
170
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
166
click to vote
CHARME
2003
Springer
16 years 21 hour ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...