Search Sciweavers | Sciweavers

4340 search results - page 7 / 868

» Formal Methods and Cryptography

Voted

CCS
2005
ACM

135views Security Privacy» more CCS 2005»

Provable anonymity

15 years 3 months ago

Download www.cs.ru.nl

This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...

Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Pe...

claim paper

Read More »

click to vote

PKC
2009
Springer

240views Cryptology» more PKC 2009»

Distributed Public-Key Cryptography from Weak Secrets

15 years 10 months ago

Download robotics.stanford.edu

Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...

Céline Chevalier, David Pointcheval, Michel...

claim paper

Read More »

152

click to vote

TFM
2009
Springer

292views Formal Methods» more TFM 2009»

Teaching Formal Methods Based on Rewriting Logic and Maude

15 years 4 months ago

Download www.di.uminho.pt

Peter Csaba Ölveczky

claim paper