Search Sciweavers | Sciweavers

4340 search results - page 2 / 868

» Formal Methods and Cryptography

click to vote

TCC
2004
Springer

173views Cryptology» more TCC 2004»

Soundness of Formal Encryption in the Presence of Active Adversaries

13 years 10 months ago

Download www.cs.bris.ac.uk

Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...

Daniele Micciancio, Bogdan Warinschi

claim paper

Read More »

click to vote

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

11 years 7 months ago

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

click to vote

FSE
2009
Springer

143views Cryptology» more FSE 2009»

New Distinguishing Attack on MAC Using Secret-Prefix Method

13 years 11 months ago

Download www.cosic.esat.kuleuven.be

Xiaoyun Wang, Wei Wang, Keting Jia, Meiqin Wang

claim paper

Read More »

click to vote

CHES
2003
Springer

115views Cryptology» more CHES 2003»

A More Flexible Countermeasure against Side Channel Attacks Using Window Method

13 years 10 months ago

Download www.iacr.org

Katsuyuki Okeya, Tsuyoshi Takagi

claim paper

Read More »

click to vote

IFIPTCS
2000

89views Theoretical Computer Science» more IFIPTCS 2000»

Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers