2432 search results - page 93 / 487 » Cryptographic logical relations |
134
Voted
FPGA
2004
ACM
15 years 2 months ago
2004
ACM
Field Programmable Gate Arrays (FPGAs) are an increasingly popular choice of platform for the implementation of cryptographic systems. Until recently, designers using FPGAs had le...
VLSI
2010
Springer
14 years 5 months ago
2010
Springer
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
68
Voted
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
85
Voted
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
AAAI
2008
15 years 17 days ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...