1005 search results - page 7 / 201 » Practical Secure Function Evaluation |
SACRYPT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we analyse the security of the SHA-3 candidate ARIRANG. We show that bitwise complementation of whole registers turns out to be very useful for constructing...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
JFLP
2002
13 years 7 months ago
2002
We present a practical partial evaluation scheme for multi-paradigm declarative languages combining features from functional, logic, and concurrent programming. In contrast to pre...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
ACSAC
2003
IEEE
14 years 25 days ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...