SAGT
2015
Springer
8 years 3 months ago
2015
Springer
SAGT
2015
Springer
8 years 3 months ago
2015
Springer
SAGT
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. We present a systematic study of Plurality elections with strategic voters who, in addition to having preferences over election winners, also have secondary preferences, ...
SAGT
2015
Springer
8 years 3 months ago
2015
Springer
In the traditional setting of routing games, the standard assumption is that selfish agents are unconcerned with the performance of their competitors in the network. We propose an...
SAGT
2015
Springer
8 years 3 months ago
2015
Springer
Revealed preference techniques are used to test whether a data set is compatible with rational behaviour. They are also incorporated as constraints in mechanism design to encourage...
CARDIS
2015
Springer
8 years 3 months ago
2015
Springer
Fresh re-keying is a type of protocol which aims at splitting the task of protecting an encryption/authentication scheme against side-channel attacks in two parts. One part, a re-k...
CARDIS
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. Rank estimation is an important tool for side-channel evaluations laboratories. It allows determining the remaining security after an attack has been performed, quantifi...
SAFECOMP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarante...
SAFECOMP
2015
Springer
8 years 3 months ago
2015
Springer
SAFECOMP
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. Incremental design is an essential part of engineering. Without it, engineering would not likely be an economic, nor an effective, aid to economic progress. Further, eng...