2432 search results - page 218 / 487 » Cryptographic logical relations |
207
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
142
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
193
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
163
click to vote
RECONFIG
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...
207
click to vote
FDTC
2010
Springer
15 years 3 months ago
2010
Springer
Fault injections constitute a major threat to the security of embedded systems. The errors in the cryptographic algorithms have been shown to be extremely dangerous, since powerful...