4340 search results - page 85 / 868 » Formal Methods and Cryptography |
128
Voted
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
133
Voted
FSE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A simple one-way function along with its proposed application in symmetric cryptography is described. The function is computable with three elementary operations on permu...
84
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
128
Voted
FM
1994
Springer
15 years 7 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
137
Voted
CHES
2009
Springer
16 years 4 months ago
2009
Springer
Random delays are a countermeasure against a range of side channel and fault attacks that is often implemented in embedded software. We propose a new method for generation of rando...