Proceedings of the 6th ACM Conference on Computer and Communications Security
The SEMPER Framework for Secure Electronic Commerce
A Composition Theorem for Universal One-Way Hash Functions
An Analysis of Exponentiation based on Formal Languages
Using Hash Functions as a Hedge against Chosen Ciphertext Attack
E-Cash Withdrawal using Mobile Telephony
Efficient Verificable Encryption (and Fair Exchange) of Digital Signatures
Using Digital Signatures as Evidence of Authorizations in Electronic Credit-Card Payments
SEMPER: A Security Framework for the Global Electronic Marketplace
New Multi-party Authentication Services and Key Agreement Protocols
comtec -- the magazine for telecommunications technology
PLAS --- Policy Language for Authorizations
On the Redundancy Ratio of Irredundant Sum-of-Product Forms
On Formal Models for Secure Key Exchange
Design, Implementation and Deployment of a Secure Account-Based Electronic Payment System
4. Internationale Tagung Wirtschaftsinformatik 1999
Secure electronic commerce: the SEMPER framework
On the security of a practical identification scheme
Publication export from IBM Research GmbH
This ontology contains information detailing publications held by IBM Research GmbH
XOR and non-XOR Differential Probabilities
Risks and Potentials of Using EMV for Internet Payments
Signature Schemes Based on the Strong RSA Assumption
Computationally Private Information Retrieval With Polylogarithmic Communication
Efficient Private Bidding and Auctions with an Oblivious Third Party
submitted to: Netnomics - Economic research and electronic networking; Baltzer Science Publishers
Proceedings of the First USENIX Workshop on Smartcard Technology