Sciweavers

1358 search results - page 5 / 272
» Proceedings
Sort
View
CADE
1998
Springer
13 years 11 months ago
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
Proceedings of CADE-15, LNAI 1421, pp. 205
Hans Jürgen Ohlbach
EUROCRYPT
1998
Springer
13 years 11 months ago
Luby-Rackoff Backwards: Increasing Security by Making Block Ciphers Non-invertible
ded abstract appears in Advances in Cryptology
Mihir Bellare, Ted Krovetz, Phillip Rogaway
CTRSA
2008
Springer
130views Cryptology» more  CTRSA 2008»
13 years 9 months ago
Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework
ended abstract appeared in Proceedings of the Cryptographers' Track at the RSA Conference (CT-RSA '08)
Michel Abdalla, Dario Catalano, Céline Chev...
OMER
2001
13 years 8 months ago
On the Behavior of Complex Object-Oriented Systems
of abstract from OMER Workshop Proceedings, Peter Hofmann and Andy Sch
David Harel
SCN
2008
Springer
147views Communications» more  SCN 2008»
13 years 7 months ago
New Anonymity Notions for Identity-Based Encryption
ded abstract of this paper appeared in Proceedings of the 6th Conference on Security and Cryptography for Networks (SCN '08)
Malika Izabachène, David Pointcheval