Sciweavers

1358 search results - page 5 / 272
» Proceedings
Sort
View
CADE
1998
Springer
15 years 2 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
15 years 2 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»
14 years 12 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
14 years 11 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»
14 years 10 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