15 search results - page 3 / 3 » Secret Ninja Formal Methods |
86
Voted
IMA
2005
Springer
15 years 3 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
99
Voted
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
71
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
97
Voted
AFRICACRYPT
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
TCS
2002
14 years 9 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...