-
More or less following a plan during design: opportunistic deviations in spec...
Il existe une version française raccourcie de cet article: Visser, W. Comment le concepteur organise réellement son activité. In K. Zreik & B. Trousse (Eds.), Organisation... -
Strategies in programming programmable controllers: A field study on a profes...
International audience -
Comparing risk reductions: On the dynamic interplay of cognitive strategies, ...
International audience -
Brandt's Fully Private Auction Protocol Revisited
International audience -
Adding Integrity to the Ephemerizer's Protocol
We present a symbolic analysis of the ephemerizer's protocol by Radia Perlman, using the CL-Atse tool from the AVISPA's tool-suite. This protocol allows transmitting a...
