The following pages link to Michael Waidner (Q2464138):
Displaying 20 items.
- The reactive simulatability (RSIM) framework for asynchronous systems (Q2464139) (← links)
- (Q2754173) (← links)
- (Q2757237) (← links)
- Optimal efficiency of optimistic contract signing (Q2790106) (← links)
- Reactively Secure Signature Schemes (Q3404395) (← links)
- (Q3973157) (← links)
- (Q4035678) (← links)
- (Q4036900) (← links)
- Optimistic fair exchange of digital signatures (Q4249668) (← links)
- (Q4279670) (← links)
- (Q4499295) (← links)
- (Q4813522) (← links)
- Symmetric Authentication within a Simulatable Cryptographic Library (Q5030211) (← links)
- Server-Supported Signatures (Q5096412) (← links)
- Unconditional Byzantine agreement for any number of faulty processors (Q5096793) (← links)
- Fragmentation Considered Leaking: Port Inference for DNS Poisoning (Q5168564) (← links)
- Information Security (Q5492783) (← links)
- Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes (Q5862528) (← links)
- Foundations of Security Analysis and Design III (Q5897457) (← links)
- Theory of Cryptography (Q5901780) (← links)
