Sciweavers

Share
19 search results - page 1 / 4
» csfw 2008
Sort
View
CSFW
2008
IEEE
8 years 8 months ago
Cryptographically-Sound Protocol-Model Abstractions
Christoph Sprenger, David A. Basin
CSFW
2008
IEEE
8 years 8 months ago
Tractable Enforcement of Declassification Policies
Gilles Barthe, Salvador Cavadini, Tamara Rezk
CSFW
2008
IEEE
8 years 8 months ago
Formal Analysis of PKCS#11
Stéphanie Delaune, Steve Kremer, Graham Ste...
CSFW
2008
IEEE
8 years 8 months ago
Refinement Types for Secure Implementations
Jesper Bengtson, Karthikeyan Bhargavan, Céd...
books